binäärirelaation
A binäärirelaatio, eli kaksipaikkainen relaatio, on matematiikassa perusrakennusosa, joka kuvaa kahden joukon alkioiden välistä suhdetta. Yksinkertaisimmillaan binäärirelaatio joukon A ja joukon B välillä on joukon A karteesisen tulon A x B osajoukko. Tämä tarkoittaa, että relaatio koostuu järjestetyistä pareista (a, b), missä a on joukon A alkio ja b on joukon B alkio.
Tällaista relaatiota merkitään usein symbolilla R, ja jos pari (a, b) kuuluu relaatioon R, se voidaan ilmaista
Esimerkiksi, jos meillä on joukko ihmisiä A ja joukko kaupunkeja B, voimme määritellä relaation "asuu kaupungissa".
Binäärirelaatioilla on useita tärkeitä ominaisuuksia, kuten refleksiivisyys, symmetrisyys ja transitiivisuus, jotka kuvaavat, miten relaatio käyttäytyy itseään