Reflexívna relácia

V matematike sa binárna relácia R na množine X nazýva reflexívna, ak pre každé a z X platí, že a je v relácií so sebou samým.

Formálny zápis:

 

Napríklad „je väčšie alebo rovné“ je reflexívna relácia, ale „je väčšie ako“ reflexívne nie je.

Ďalšie príklady reflexívnych relácií sú:

 „je rovné“, čiže identita
 „je podmnožinou“, čiže inklúzia
 „delí“, čiže relácia deliteľnosti

Reflexívna relácia, ktorá je zároveň tranzitívna sa názýva kváziusporiadanie. Kváziusporiadanie, ktoré je zároveň antisymetrické sa nazýva usporiadanie. Kváziusporiadanie, ktoré je zároveň symetrické sa nazýva ekvivalencia.

Binárne relácie