Set builder

A common way to define a set by

a predicate over its members

in the form

\[\begin{equation*}
  \{ x \mid P(x) \}
\end{equation*}
\]

where \(P\) is the predicate, read

the set of all \(x\) such that \(P(x)\).

• Domain
• Example
• Alternative notation