Definition:Indexed Maximum by Propositional Function