Definition:Product by Propositional Function