Math Background to Formal Representation of Types
Set: a collection of items.
Binary relation: a set of ordered pairs, whose elements come from a first set and a second set, which may be identical, partially overlapping, or disjoint.
Cartesian product S1 ? S2 ? ... ? Sn of sets S1, S2, ..., Sn.
Function: A special kind of binary relation.