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.