Definition. Set builder notation [set-builder] {x∈Σ*:f(x)=Yes}\left\{ {x \in \Sigma \ast :f(x) = \text{Yes}} \right\} reads as for all XX in Σ*\Sigma \ast such that f(x)f(x) is equal to “Yes”