### 3.7.83. Disjunction

Denotes the fact that a constraint can be used for modelling some kind of disjunction.