Revision #880 → #1460 · back to history
addedPartial functionbbb3ba8f1661
addedDomain of definition / natural domainfd1dbaccfc21
addedTotal function68271ac06626
addedPartial function as univalent relationbd10b97bf4d7
addedGeneral recursive function74bf54122daa
addedSquare root restricted to integers4f25debd0141
addedSquare root as partial function on reals6fc611f94528
addedDomain of definition (subset S)589f57fe1ce3
addedTotal partial function02b5021ea31f
addedInjective/surjective/bijective partial function0b018bdca7bc
addedPartial bijectionef4f0e4783ea
addedInversion of injective partial functions67f30b65f18a
addedPartial transformationeacf64da45f2
addedSet of partial functions1fdcebf92d6d
addedCardinality of partial function set0e027bef483e
addedDiagram example0cb98b2efeff
addedNatural logarithmd7bf496e5ef3
addedSubtraction of natural numbersd7299690a7e5
addedBottom element semantics79c0299cfbcd
addedPartial function as subroutine9258472c47a3
addedComposition is total iff hom has one elementfdfa76f4a090
addedEquivalence with pointed sets966293386136
addedSelf-duality of partial bijections categorye2bcb29d02dc
addedPartial algebra8d269cfca5cf
addedField as partial algebra3a652c9946d0
addedSemigroup of partial transformations28e1dbb81060
addedSymmetric inverse semigroup1eb9d7d725ff
addedCharts in atlases as partial functionsa1111b20c7af