Constraints

A declarative specification of relationships between variables. These relationships are automatically maintained by the system.