Noun
(set theory, order theory, "on" a set A) A subset of the Cartesian product A×A (the set of ordered pairs (a, b) of elements of A).
(set theory, order theory, "on" or "between" sets A and B) A subset of the Cartesian product A×B.
Source: en.wiktionary.org