Definition:Pointwise Minimum of Extended Real-Valued Functions