A quantifier is an operator that specifies how many elements in the domain of discourse satisfy a formula. For example the universal quantifier expresses that everything in the domain of discourse satisfies the predicate the universal quantifier is acting upon. Alternatively, the existential quantifier expresses that at least one element in the domain of discourse satisfies the predicate it acts upon.