l(A binary relation is a set
of ordered-pairs, with the elements of each pair
drawn from a common set, called the domain.)
lA finite set can be implemented as a list.
lAn ordered-pair can be represented as a list.
lTherefore, a finite binary relation can be represented as a list of
lists of two elements each.