Irefleksivna relacija
Izvor: Hrvatska internetska enciklopedija
Antirefleksivna (irefleksivna) relacija je ona binarna relacija za koju vrijedi, uz zadani skup S te binarnu relaciju R na skup S, tj.
R ⊆ S × S .
Često se običava umjesto [math]\displaystyle{ (x, y)\in R }[/math] pisati
[math]\displaystyle{ xRy }[/math]
Relacija je antirefleksivna (irefleksivna) ako je
[math]\displaystyle{ \neg(x\mathcal{R} x) ,\forall x \in A }[/math] (niti jedan element ne smije biti u relaciji sam sa sobom, niti za jedan x iz skupa A ne vrijedi xRx)
Izvori
- Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 3 (pristupljeno 8. listopada 2019.)