[x] := \{y \in X \mid x \sim y\}