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:

$\mathrm{\forall }a\in X,aRa$

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.