1. Noun. (mathematics) A quotient of the direct product of a family of structures ¹
¹ Source: wiktionary.com