Refleksiivsus

Mall:See artikkel Refleksiivsus on binaarse seose omadus, mis seisneb selles, et iga element on selles 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 refleksiivne parajasti siis, kui

$\mathrm{\forall }x:xRx.$

Näited

Ekvivalentsiseosed on definitsiooni järgi refleksiivsed.

Refleksiivsed on veel näiteks seosed

• "on võrdne" (võrdusseos),
• "on alamhulk" (sisalduvusseos),
• "on suurem või võrdne" ja on väiksem või võrdne" (mitterange järjestus),
• "jagab" (jaguvusseos).

Vaata ka

• Irrefleksiivsus
• Mitterefleksiivsus