# Set constraint

A set constraint is a constraint on one or more set variables. For example, the following are common set constraints:

• $LaTeX: S \in [a, b]$ for ground values (e.g., integers) $LaTeX: a, b$
• $LaTeX: S \subseteq S_1$
• $LaTeX: S = S_1 \cup S_2$
• $LaTeX: S = S_1 \cap S_2$
• $LaTeX: S = S_1 \setminus S_2$
• $LaTeX: e \in S$
• $LaTeX: e \not\in S$
• $LaTeX: |S| \geq c$