Definition:Pointwise Maximum of Real-Valued Functions