# Extensional constraint

### From Glossary

Constraints on a set of variables can be stated in an *extensional* fashion by specifying a *table* that summarizes all allowed (or in an alternative formulation, all disallowed) combinations of assignments to the variables in .

For instance, the extensional constraint expresses the intensional constraint where and can take values .

Also called a table constraint.