Creating and removing universal quantification constraints

To create a universal quantification constraint

1. Drag and drop a property to be redefined (e.g., has from Person) onto a redefining property (e.g., has from Dog Lover).

   Note

   • The property is owned by the class at the opposite end of the association.
   • The target can have the same name as the source, or can be unnamed.
   • The newly redefined property's multiplicity is adjusted to conform to the multiplicity of the dragged, redefined property.

   

   Dragging the property to be redefined to the redefining property.

2. Click Create universal quantification.
   
   
   

   The Create universal quantification shortcut menu.

To remove a universal quantification constraint from a property

1. Right-click a redefining property.
2. Select Concept Modeling.
3. Select Remove universal quantification. 

Removing a universal quantification constraint from a property.

Related pages

• Usage
• Universal quantification constraints for an existing property