Revision #781 → #1188 · back to history
addedEquivalence class (informal)9bc22180c685
addedEquivalence class (formal)9915664acf7f
addedQuotient set / quotient space47d4b9df15f2
addedEquivalence relation5405338aacfc
addedEquivalence class of an elementca5971a7e6c8
addedIsomorphism classes are proper classes3d70cd75cf65
addedQuotient set and canonical surjectione9fc85f1630d
addedRepresentative and sectione1b21a06f496
addedCanonical representatives (congruence mod m)5bf30010a2bd
addedRepresentative function (mod m remainder)dac88514445d
addedEquivalence classes partition the set47916849896a
addedPartitions correspond to equivalence relationsdf4605176c53
addedEquivalent characterizationsbf964029378c
addedRectangles with the same area459f7493dc7c
addedModulo 2 and modulo 3 on integers34a73a7edd49
addedConstruction of rational numbers131710f44bd5
addedParallel lines and points at infinityea4f426db2ab
addedEquality relation6bc69518ccc1
addedCluster graphs of equivalence relationsa3825507c705
addedInvariant / well-defined under a relation846355fbbd67
addedClass invariant function6ecf22a5af99
addedKernel of a function as equivalence relation2196eab3289d
addedMorphism of sets with equivalence relations38e6f15304be
addedQuotient space in topologyeac3429e9077
addedQuotient algebra and quotient space (algebra)1bebee258c05
addedQuotient space of a group action052e403ec57d
addedNormal subgroup of a topological group284e584a3996