直積集合
The Cartesian product of manifolds is also a manifold.