Nechť jsou libovolné neprázdné množiny a je libovolná.
Trojice se nazývá binární relace z do .
Množinu nazýváme levým oborem a množinu pravým oborem relace .
Prvek je v relaci s prvkem , značíme .
Prvek není v relaci s prvkem , značíme .
Binární relace na množině je trojice - množiny jsou stejné.
Je-li levý a pravý obor jasný z kontextu, značíme ji jednoduše .
Nehrozí-li nedorozumění, vynecháváme "binární" a mluvíme jen o relaci.