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.

♣