In this section, we show that, for every complete UG, qeq and dominance relations are equivalent.
as stated by Theorem 5, if qeq constraints are replaced with dominance relations, the solutions of the UG remain the same.