Denotes the fact that the catalogue mentions a sufficient condition for the entailment of a constraint. Consider a constraint and the potential sets of values that can respectively be assigned to the domain variables . The constraint is entailed if and only if holds whatever values will respectively be assigned variables .
Entailment is usually not considered as very important when designing a filtering algorithm, even if it can sometimes save waking again and again a constraint that will for sure be satisfied. From a modelling point of view, entailment detection is mandatory for coming up with the reified version of a constraint (see also reified automaton constraint).