 Direct product of rings

The direct product of a family of rings consists of all tuples of their elements, with coordinatewise addition and multiplication. Unlike a direct sum, tuples may have infinitely many nonzero coordinates.