Direct product by Ciro Santilli 32 Updated Created
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.