These functions create and return a constraint that forces the variables vars to be a partition of the variable set. vars are a partition of set if their union is equal to set and if their intersection is null. The variable set and all the variables in vars must be built from the same initial array.