Definition:Product (Algebra)