Luego, por la proposición citada, como y < x es equivalente a y-x<0, o sea f(x,y) < 0, tenemos por la proposición citada que S es un conjunto abierto.