15 Relation Cartesian product defines a set of all ordered arrangements of elements in the two sets. Binary Relation: Let A and B be two sets. A binary relation from A to B is a subset of a Cartesian product A X B. 0