Definition:Pointwise Minimum of Real-Valued Functions