Prijeđi na sadržaj

Irefleksivna relacija

Izvor: Wikipedija

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 pisati

Relacija je antirefleksivna (irefleksivna) ako je

(niti jedan element ne smije biti u relaciji sam sa sobom, niti za jedan x iz skupa A ne vrijedi xRx)

Izvori

[uredi | uredi kôd]