constraint

a functional relationship between objects, classes, attributes, links, and associates; a statement about some condition or relationship that must be maintained as true.

(contrast with assertion and invariant)