Assertion: unary quantifier | /r/CapableOf | set a cardinality condition
Facets:
value: on the extension of a formula
type: OTHER
Source sentences:
text: 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\):