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