Refleksiivisyys

Wikipedia
Loikkaa: valikkoon, hakuun

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.