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.