Definition:Partial Product