⟦ x \in S ⟧