(such as "and", "or" and "not"), and logical quantifiers () that apply to elements (not to subsets) of the structure.

Such a typical axiom is inversion in fields. This axiom cannot be reduced to axioms of preceding types. (it follows that fields do not form a variety in the sense of universal algebra.) It can be stated: "Every nonzero element of