Wat zijn reflexieve en antisymmetrische relaties?
Een reflexieve relatie op een set is een binaire relatie die geldt voor elk element van de set. Met andere woorden, een reflexieve relatie is er een waarin elk element aan zichzelf gerelateerd is, wat betekent voor alle x ∈ A, (x,x) ∈ R. Een relatie wordt een antisymmetrische relatie genoemd voor een binaire relatie R op een set A, als er geen paar verschillende of ongelijksoortige elementen van A zijn, waarvan elk door R aan de ander is gerelateerd. Formeel gezien is de relatie R antisymmetrisch, met name als voor alle a en b in A, als R(x, y) met x ≠ y, R(y, x) niet geldt, of, equivalent, als R( x, y) en R(y, x), dan x = y.