Dominance in the family of Sugeno–Weber t-norms

The dominance relationship between two members of the family of Sugeno–Weber t-norms is proven by using a quantifier elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms.