Relations and Functions
We study tuples, cross products, relations, and functions. The n-tuple, or sequence of length n, is the mathematical analogue of the Pascal-like record: it is a list of values (but without names). The cross product is the mathematical analogue of the Pascal record type: it is a set of tuples, corresponding to the set of records that may be associated with a variable of a record type.
KeywordsPartial Order Cross Product Binary Relation Prove Theorem Minimal Element
Unable to display preview. Download preview PDF.