Binary Relation

In mathematics, a binary relation over two sets A and B is a set of ordered pairs, consisting of elements a of A and elements b of B. That is, it is a subset of the Cartesian product A × B. It encodes the information of relation: an element a is related to an element b, if and only if the pair belongs to the set.