Definition:Product (Abstract Algebra)