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

$\exists x:\neg xRx.$

Vaata ka

• Irrefleksiivsus