Mitterefleksiivsus

Allikas: Vikipeedia
Jump to navigation Jump to search

Mitterefleksiivsus on binaarse seose omadus, mis seisneb selles, et seos pole refleksiivne, st leidub element, mis 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 mitterefleksiivne parajasti siis, kui

Vaata ka[muuda | muuda lähteteksti]