Home / Set theory / Set builder
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*}Home / Set theory / Set builder
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*}