SBVR — In 8.7 in the definition of “cardinality”, remove the word “distinct”

In 8.7 in the definition of “cardinality”, remove the word “distinct”. Note that “distinct” remains in the definition of “set has cardinality”, but is not appropriate for cardinalities of all collections types (e.g. bags).

Make the suggested change.