They concentrate on whether a term has a certain property or whether a cardinality restriction has been exceeded for a certain property.
Indeed, the cardinality of a family is the sum of the entries in its profile matrix.
Figure 4 shows a partial view of those relations, specifying the domain, range, and maximum cardinality.
The first type comes from the cardinality of the least fixed point.
Families of cardinality one are not explicitly indicated.
The lower bound of the cardinality corresponds to the size of the required set as for a classical constrained set variable.
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.
If s is a set, then we will denote with s its cardinality.
