Refleksiivisyys

Kohteesta 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 ) on refleksiivinen, jos ja vain jos

.

Esimerkiksi yhtäsuuruusrelaatio on kaikkien lukujoukkojen tapauksessa refleksiivinen.