⟦ x \in S ⟧ = \begin{cases} 1 & \text{if } x \in S \\ 0 & \text{otherwise.} \end{cases}