A relation from set $A$ to set $B$ is—

A relation from $A$ to $B$ is defined as a nonempty subset of the Cartesian product $A \times B$, associating elements of $A$ with elements of $B$. It selects particular ordered pairs from all possible pairs in .