Category:Pointwise Minimum of Simple Functions is Simple