Definition:Supremum of Real-Valued Function