Equivalence class (of a set
S
containing
a
)