Decimos que un número real M es una cota superior del conjunto A, ssi, para todo x se cumple que