---

Domain

The members can be constrained to a domain on the left-hand side,

\[\begin{equation*}
  \{ x \in \mathbb{D} \mid P(x) \} = \{ x \mid x \in \mathbb{D} \land P(x) \}.
\end{equation*}
\]