Binary relation

In set theory, a binary relation between two sets $A$ and $B$ is a subset of the Cartesian product $A\times B$.