Quotient set
The distinct equivalence classes of a complete equivalence relation form its quotient set and partition the original carrier.
atlas-quotient-set · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
The distinct equivalence classes of a complete equivalence relation form its quotient set and partition the original carrier.
atlas-quotient-set · canonical_mko