Source: /cirosantilli/direct-product

= Direct product
{c}
{wiki}

A <Cartesian product> that carries over some extra structure of the input groups.

E.g. the <direct product of groups> carries over <group> structure on both sides.