a condition that every implementation of the design must satisfy
a condition that must be satisfied in order for the design to be feasible
a declarations on data that the data of the Actor and Target of an Operator have to satisfy
a labeling expression and a selection condition
a set of Conditions combined by logical operators (AND, OR)
A constraint determines a subset of the values of a type. A value in that subset satisfies the constraint.
In mathematics, a constraint is a condition that a solution to an optimization problem must satisfy in order to be acceptable. The set of solutions that satisfy all constraints is called the feasible set.