Definition:Product (Abstract Algebra)/Ring