A B
<apply> <cartesianproduct/> <ci> A </ci> <ci> B </ci> </apply> <apply> <cartesianproduct/> <reals/> <reals/> <reals/> </apply>