Binary Relations
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.