Refleksiivisyys

Refleksiivisyydellä tarkoitetaan matematiikassa sellaista 2-paikkaisten eli binääristen relaatioiden ominaisuutta, että jokainen alkio on relaatiossa itsensä kanssa.^[1] Formaalisti muotoiltuna joukon A binäärinen relaatio r (jolloin siis ${\displaystyle r\subseteq A\times A}$) on refleksiivinen, jos ja vain jos

${\displaystyle (\forall a\in A)(a\,r\,a)}$.

Esimerkiksi ekvivalenssirelaatio on kaikkien lukujoukkojen tapauksessa refleksiivinen.