In
mathematics, a
binary relation on a
set A is a collection of
ordered pairs of elements of
A. In other words, it is a
subset of the
Cartesian product A2 = . More generally, a binary relation between two sets
A and
B is a subset of . The terms
correspondence,
dyadic relation and
2-place relation are synonyms for binary relation.