Go backward to
Go up to
, set enumeration, =, subset , set quantifier.
Union, intersection, difference, powerset.
Tuples, constructor < >, selectors .
, =, Cartesian product.
Encoding and interpretation as sets.
Representation forms, truth tables, directed graphs.
Domain, range, inverse, composition.
Partial function, total function, function application.
Inversion, composition, commutative diagrams.
Sequences and matrices as special functions.
Last Modification: October 14, 1999