Revision #945 → #1644 · back to history
addedEmpty tuple2ef844f10b56
addedSingleton and ordered pair6b7ca56b4bb3
addedFormal definition of n-tuple as function0b0a3a7e9f47
addedRecursive definition from ordered pairs91610d42a855
addedNull/empty tuple naming5456deae59cf
addedComplex number as 2-tuple2897d6d68200
addedIdentity of tuples379cbd9eead1
addedTuple distinguished from set673f301e45f6
addedTuple as empty function222d6cc2e1e5
addedTuple as surjective function8da6b83ad0b7
addedFunction as graphe04e1a3e2599
addedTuples as nested ordered pairsc1323503d995
added0-tuple as empty setd39bf646c89b
addedn-tuple as nested ordered pair5782832bd706
addedVariant peeling from the other end0afe5ae47b76
addedTuples as nested sets (Kuratowski)223d15fc908f
addedNumber of n-tuples of an m-setfbd09c7181ea
addedTuple as product typef66b8c9b5b66
addedRecord type for labeled tuple5e4e45d219cc
addedUnit type interpretationa7d939b3b099