De la definición 2.16 vemos que no es posible que existan dos elementos formula_167 (formula_168) tales que formula_169 y formula_170, formula_171.