Binary Relations
lA binary relation is a set of ordered-pairs, with the elements of each pair drawn from a common set.
lExample: { [1, 2], [2, 3], [1, 3] }