Refleksiivsus
See artikkel räägib matemaatika mõistest; keeleteaduse mõiste kohta vaata artiklit Refleksiivne verb; psühholoogia mõiste kohta vaata artiklit Refleksioon. |
Refleksiivsus on binaarse seose omadus, mis seisneb selles, et iga element on selles seoses iseendaga.
Definitsioon
muudaOlgu 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
Näited
muudaEkvivalentsiseosed 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).