a Boolean expression describing some property of a field

a Boolean expression over one or several elements which must always be true

an expression that must always evaluate to true

A condition or proposition that must be maintained as true. Constraints are typically applied to the permissible states or operations of an object.

A condition or statement that must be maintained as true; a requirement.