Si formula_62 es un ordenación total de formula_1, entonces el complemento del conjunto contorno superior es el conjunto contorno inferior estricto: