Irefleksivna relacija

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 $(x,y)\in R$ pisati

$xRy$

Relacija je antirefleksivna (irefleksivna) ako je

$\neg (x{\mathcal {R}}x),\forall x\in A$ (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.)