### 3.7.85. Domain definition

A constraint that is used for defining the initial domain of one or several domain variables or for removing some values from the domain of one or several domain variables.