상한,supremum