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

$(\mathrm{\forall }a\in A)(ara)$.

Esimerkiksi ekvivalenssirelaatio on kaikkien lukujoukkojen tapauksessa refleksiivinen.

Kirjallisuutta

• Malline:Kirjaviite