Definition:Product by Inequality