The property that determines the cardinality of a maximum cardinality restriction.