Let ∼\sim∼ be an equivalence relation on XXX. The equivalence class of a∈Xa \in Xa∈X, denoted [a][a][a], is the set x∈X∣a∼X{x \in X \mid a \sim X}x∈X∣a∼X.
Wikidata ID: Q1211071