[x] := { y ∈ A : y ∼ x }.