Refleksiivisyys

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

$(\forall a \in A) (a\, r\, a)$.

Esimerkiksi yhtäsuuruusrelaatio on kaikkien lukujoukkojen tapauksessa refleksiivinen.