Бінарне відношення з $A$ в $B$ – це підмножина $R$ декартового добутку $A\times B$ цих множин: $R \subset A\times B$ .

Якщо $(a,b)\in R$ , то пишуть $aRb$ .