Revision #534 → #1189 · back to history
addedEquivalence relationbd8f1ae6c1dc
addedNumerical equality as equivalence relationd4b682d78435
addedEquivalence relation induces partition into equivalence classes312717f27392
addedEquivalence relation (formal)1d9b30c37472
addedSetoid and equivalence classf1fe6f1ab113
addedComposite relation in relational algebra1b54f74384be
addedEquivalence relation via relational algebrab94b0cda7824
addedSimple equivalence example on a finite setb12147143508
addedQuotient set205d89aa2228
addedEquality is an equivalence relation202bb802f8b0
addedSimilarity of triangles166b3e755d4c
addedCongruence of triangles8033d224c71d
addedSame image under a function1577ef725b30
addedSame absolute value46f010d35cdf
addedSame cosine87188bba9600
addedCongruence modulo n3b7beab17e21
addedEquipollence of directed line segmentsabec56317930
addedSame birthday749c77da1a2b
added≥ on reals is not symmetric5ae18a71a690
addedCommon factor relation is not transitive45e9afaee0d0
addedEmpty relation is not reflexiveda59ab8d49c2
addedApproximately equal is not transitive8202f2a8a6ae
addedPartial order887991a4d327
addedEquality as equivalence and partial order5f69206c8148
addedStrict partial order3da8d119fab5
addedPartial equivalence relationdd554a4198f9
addedTernary equivalence relation8d4af0b00f89
addedDependency / tolerance relationb92253c1a544
addedPreorder2ef129bcc55a
addedCongruence relationf573905c5d3c
addedEquivalence relation as negation of apartness563452eafcb0
addedReflexive Euclidean implies equivalence3336674e95c7
addedWell-defined / class invariant property74826b44b6c4
addedMorphism / invariant function612c4cc54cac
addedMorphism between equivalence relations72a4eb882ecd
addedEquivalence classcfc750ab0226
addedQuotient set96e928d68634
addedProjection onto quotient4228e5ece2c0
addedTheorem on projections006736ac7cfa
addedEquivalence kernel of a functionb0ca42f6f264
addedEquivalence kernel of injection is identity20bb0ec77361
addedPartition of a set77e31a7611d6
addedNumber of equivalence relations equals Bell numbere0f18673395f
addedFundamental theorem of equivalence relations6bd881119758
addedCoarser and finer equivalence relations41f7c350337f
addedFiner iff classes are subsets1a2181fe2eb3
addedFinest and coarsest equivalence relations47b3bd21ce0a
addedLattice of equivalence relations is geometricd3db33246356
addedEquivalence on functions by fixed-point cardinality1404e8914605
addedEquivalence relations correspond to surjectionsd91d206fe085
addedIntersection of equivalence relations14beb47ed34e
addedEquivalence relation generated by a relationfd3510d32231
addedEquivalence generated by total order is trivial872405ef1c9b
addedTorus as quotient of unit square7333181b4f1e
addedThree connected theorems on equivalences and transformation groups009a0d155139
addedCosets as equivalence classes of subgroup actionb41830011eea
addedGroupoid representing an equivalence relationec68204b3f5e
addedLattice of equivalence relations Con X6b12bb033e95
addedω-categorical equivalence relation exampleb75fca2a0f3d
addedIndependence of equivalence relation axiomse1eea27c575d