Definition:Summation by Propositional Function