Definition:Product Inverse