Definition:Indexed Supremum by Propositional Function