Mitterefleksiivsus

Mitterefleksiivsus on binaarse seose omadus, mis seisneb selles, et seos pole refleksiivne, st leidub element, mis pole seoses iseendaga.

 Definitsioon 

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 mitterefleksiivne parajasti siis, kui



 Vaata ka 

 Irrefleksiivsus

Kategooria:Matemaatika