 Cardinality quantifiers provide a simple example of the first sort of generalization. If we write \(card(S)\) to denote the cardinality of a given set \(S\), we may introduce unary quantifiers of the form \(Q(A)\), which set a cardinality condition on the extension of a formula \(A\):