Conservativity
In formal semantics conservativity is a proposed linguistic universal which states that any determiner D {\displaystyle D} must obey the equivalence D ( A , B ) ↔ D ( A , A ∩ B ) {\displaystyle D(A,B)\leftrightarrow D(A,A\cap B)} . For instance, the English determiner "every" can be seen to be conservative by the equivalence of the following two sentences, schematized in generalized quantifier notation to the right.