Cuando la primera condición se generaliza a supremos arbitrarios Va, "x" se llama totalmente supremo-irreducible.