Set constraint

From Glossary

Jump to: navigation, search


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


Views
Personal tools