For example, if w is any existing set, the empty set can be constructed as ∅ = { u ∈ w ∣ ( u ∈ u ) ∧ ¬ ( u ∈ u ) } {\displaystyle \varnothing =\{u\in w\mid (u\in u)\land \lnot (u\in u)\}} .
Näiteks kui w on hulk, mille olemasolu on juba kindlaks tehtud, siis saab tühihulga konstrueerida kui ∅ = { u ∈ w ∣ ( u ∈ u ) ∧ ¬ ( u ∈ u ) } {\displaystyle \varnothing =\{u\in w\mid (u\in u)\land \lnot (u\in u)\}} .