Universal quantification constrains for an existing property

In the concept modeling interpretation of UML, redefining an existing property creates a universal quantification constraint in the context of the owning class (see Universal Quantification Constraint). This interpretation is based on {redefines} in UML, which allows for more specific constraints to be added to an existing property without defining a new one.