„Reflexív reláció” változatai közötti eltérés

Legyen <math>A</math> tetszőleges [[halmaz]]. Az <math>A</math> halmazon értelmezett <math>\rho</math> reláció '''''reflexív''''', ha bármely <math>a\in A</math> esetén érvényes <math>a\rho a</math>. Vagy másképpen: <math>E_A \subseteq \rho</math>, ahol <math>E_A</math> az <math>A</math> halmazon értelmezett [[egyenlőségreláció]].