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