y el complemento del conjunto contorno superior estricto es el conjunto contorno inferior: