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

Matemaatika