[ a ] := \{ x \in A : x \equiv a \}