| Interface | Description |
|---|---|
| OrderedPairs |
Cartesian products and binary relations (and hence the ubiquitous functions) are defined in terms of ordered pairs.
|
| Class | Description |
|---|---|
| BinaryRelation |
A binary relation on a set A is a collection of ordered pairs of elements in A.
|
| Pair |
An ordered pair (x,y) is a pair of mathematical objects.
|