binäärirelaatiolla
Binäärirelaatio on matemaattinen käsite, joka kuvaa joukon elementtiparien välistä suhdetta. Se määritellään joukkona järjestettyjä pareja, joissa jokainen pari koostuu kahden joukon elementeistä, tai yhden joukon itsensä elementeistä. Jos meillä on joukko A ja joukko B, binäärirelaatio R joukosta A joukkoon B on A x B -joukon osajoukko, jossa A x B on karteesinen tulo joukosta A joukkoon B. Toisin sanoen, jokainen pari (a, b) joukossa R tarkoittaa, että elementti a on relaatiossa b:hen.
Binäärirelaatioita voidaan esittää eri tavoin. Yksi tapa on luetella kaikki parit, jotka kuuluvat relaatioon. Toinen tapa
Binäärirelaatioilla on tärkeitä ominaisuuksia, kuten refleksivisyys, symmetrisyys, antisymmetrisyys ja transitiivisuus. Refleksiivinen relaatio sisältää kaikki parit (a,