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