Definition:Pointwise Maximum of Extended Real-Valued Functions