Equivalence class

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

For a fixed complete equivalence relation, the class of an element a consists of every carrier element related to a.

atlas-equivalence-class · canonical_mko

Prerequisite nodes