### 3.7.79. Difference

Denotes the fact that the definition in terms of graph property of a constraint involves a difference between two variables within its arc constraint.