Found:

External negation

SEMANTICS: the external negation Neg Q of a generalized quantifier Q is the set of sets that are not in Q (i.e. the complement of Q with regard to the power set of E). Formally, external negation is defined as follows:

(i) Neg Q = { X subset E : X not_in Q }