R11 - modelint/types GitHub Wiki

R11 / 1:1c

Value Subset is defined by exactly one Constraint

Constraint defines zero or one Value Subset

---

A Component may or may not be constrained. For example, a User Type might have an Integer Component where all integer values are allowed. In this case the Value Subset is not a proper subset. It contains all values assignable by the Component's Type.