# Scope

The scope of a constraint is the set of directly constrained variables. For example, in the constraint $LaTeX: x \neq y$, the set $LaTeX: \{x,y\}$ is the scope.