The Cartesian Product Constructor

The special constructor car< ... > is used for the creation of cartesian products of structures.

Given a list of sets or algebraic structures R_1, ..., R_k, construct the cartesian product set R_1 x ... x R_k.

We create the product of Q and Z.

> C := car< RationalField(), Integers() >;
> print C;
Cartesian Product<Rational Field, Ring of Integers>