Kétváltozós reláció

Ha $S$ egy tetszőleges halmaz, akkor az $S\times S$ direkt szorzat egy valamilyen $R$ részhalmazát az $S$ halmazon értelmezett kétváltozós relációnak nevezzük. Ha $a$ és $b$ a $S$ halmaz két tetszőleges – nem feltétlenül különböző – eleme, és az $(a; b)$ rendezett pár benne van az $R$ halmazban, akkor azt mondjuk, hogy $a$ és $b$ között fennáll az $R$-reláció. Ezt így jelöljük: $aRb$.

♣