In language and logic, quantification is a construct that specifies the quantity of individuals of the domain of discourse that apply to (or satisfy) an open formula. For example, in arithmetic, it allows the expression of the statement that every natural number has a successor, and in logic, that everything in the domain of discourse exists. A language element which generates a quantification is called a quantifier.