From Wikipedia, the free encyclopedia
Irrefleksiivsus ehk antirefleksiivsus on binaarse seose omadus, mis seisneb selles, et ükski element pole seoses iseendaga.
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
Antirrefleksiivsed on veel näiteks seosed
Iga range järjestus on definitsiooni järgi irrefleksiivne.
Seamless Wikipedia browsing. On steroids.