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 ekvivalenssirelaatio on kaikkien lukujoukkojen tapauksessa refleksiivinen.

Kirjallisuutta

• Merikoski, Jorma; Virtanen, Ari; Koivisto, Pertti: Diskreetti matematiikka I. Tampere: Tampereen yliopisto, 2001 (1993). ISBN 951-44-3604-0