Definition:Product (Abstract Algebra)/Group