constraint

A constraint is a comparative relationship between property values (or between a property value and a constant or expression) that is expected to be true at all times.