Eine Relation R ⊆ M × M {\displaystyle {}R\subseteq M\times M} auf einer Menge M {\displaystyle {}M} heißt reflexiv, wenn ( x , x ) ∈ R {\displaystyle {}(x,x)\in R} für alle x ∈ M {\displaystyle {}x\in M} gilt.