0 the number of elements (= separate items) in a mathematical set: --
If s is a set, then we will denote with s its cardinality.
A fragment with minimum cardinality is called an atom.
The first type comes from the cardinality of the least fixed point.
An abstract domain consisting of our cardinality domain augmented with a functional dependency component would probably be fairly accurate.
The lower bound of the cardinality corresponds to the size of the required set as for a classical constrained set variable.
The size of a set is the number of its elements (synonymous with cardinality).
In what follows, we assume that there is an order whenever two covers of the same cardinality are compared.
They concentrate on whether a term has a certain property or whether a cardinality restriction has been exceeded for a certain property.
