### 3.7.274. Vpartition

Denotes that a constraint is defined by two graph constraints ${𝒞}_{1}$ and ${𝒞}_{2}$ such that:

• The two graph constraints have the same initial graph ${G}_{i}$,

• Each vertex of the initial graph ${G}_{i}$ belongs to exactly one of the final graphs associated with ${𝒞}_{1}$ and ${𝒞}_{2}$.