, a binary relation over sets X and Y is a subset
of the Cartesian product
X × Y; that is, it is a set of ordered pairs
consisting of elements x in X and y in Y. It encodes the information of relation: an element x is related to an element y, if and only if the pair
belongs to the set.