Sākums
Binārā attiecība \(R\) ir refleksīva, ja katram \(a \in X\) izpildās \(aRa\): katrs elements ir šajā attiecībā pats ar sevi. Piemēram, katrs skaitlis \(a\) izpilda \(a \leq a\) (skaitlis ir mazāks vai vienāds pats ar sevi).