Finally, if formula_15 is a weight, we say that formula_15 is dominant if it has non-negative inner product with each element of formula_109 and we say that formula_15 is integral if formula_117 is an integer for each formula_118 in "R".