Revision #45 → #1038 · back to history
addedInjective function (informal)93de82c6c9aa
addedSurjective function (informal)fbd94f150341
addedBijective function (informal)14324347fcfc
addedRelation holding for any function3afdb1dc8cf0
addedInjectionf6fbdeb52bbf
addedInjective iff left-invertible444cbcc60134
addedInjection induces bijection onto imageac47b1c20fe2
addedComposition of injections is injectivefb9dcfbe52f8
addedEvery embedding is injective2218f44577ac
addedSurjection30c2b5d2926b
addedSurjective iff right-invertible6dd80805efd3
addedSurjection induces bijection from quotient8669b1201255
addedComposition of surjections is surjectiveb33e1ba27439
addedBijection834a2b32c36e
addedBijective iff invertibleb5cf9c55a69f
addedComposition of bijections is bijective12de488a534a
addedBijections form the symmetric group3de3d6432423
addedSame cardinalityfe51e5e988cc
addedFewer or equal cardinality via injectionabbc0a71409e
addedIdentity function56b1aed0e6d9
addedExponential restricted to image and logarithm4809c13e3214
addedImage and preimage inclusions18323944c4f6
addedSurjection-injection decomposition57ca8ebee22c
addedCorrespondence with mono/epi/iso600df9159f56