In constraint satisfaction, constraint inference is a relationship between constraints and their consequences. A set of constraints entails a constraint if every solution to is also a solution to . In other words, if is a valuation of the variables in the scopes of the constraints in and all constraints in are satisfied by , then also satisfies the constraint .

Some operations on constraints produce a new constraint that is a consequence of them. Constraint composition operates