Irrefleksiivsus

Allikas: Vikipeedia

Irrefleksiivsus ehk antirefleksiivsus on binaarse seose omadus, mis seisneb selles, et ükski element pole seoses iseendaga.

Definitsioon[muuda | muuda lähteteksti]

Olgu R binaarne seos mingil hulgal A ning x hulga A mingi element. Tähistame asjaolu, et x on y-ga seoses R, valemiga xRy. Seos R on definitsiooni järgi irrefleksiivne parajasti siis, kui

Näited[muuda | muuda lähteteksti]

Antirrefleksiivsed on veel näiteks seosed

Iga range järjestus on definitsiooni järgi irrefleksiivne.

Vaata ka[muuda | muuda lähteteksti]