if no value of satisfies the formula.

Specifying the domain

A domain can appear on the left of the vertical bar:
: or by adjoining it to the predicate:
: The ∈ symbol here denotes set membership, while the symbol denotes the logical "and" operator, known as logical conjunction. This notation represents the set of all values of that belong to some given set for which the predicate is true (see "Set existence axiom" below).

1.Previous
3.Next