Refleksiivsus

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

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

Matemaatika