A relation can be defined using three elements : a set of departure, a set of destination and a rule that associates certain elements of the domain with certain elements of the range. A binary relation between two sets E and F is characterized by a subset of the Cartesian product E [latex]times[/latex] F, that is, a collection of ordered pairs whose first component is in E and whose second component is in F.