If s is a set, then we will denote with s its cardinality.
Participants were presented with a context, a self-paced segment-bysegment presentation of a cardinality interrogative, and a numerical answer that respondents either accepted or rejected.
The lower bound of the cardinality corresponds to the size of the required set as for a classical constrained set variable.
Families of cardinality one are not explicitly indicated.
The first type comes from the cardinality of the least fixed point.
Figure 4 shows a partial view of those relations, specifying the domain, range, and maximum cardinality.
Indeed, the cardinality of a family is the sum of the entries in its profile matrix.
They concentrate on whether a term has a certain property or whether a cardinality restriction has been exceeded for a certain property.