直積集合
Limits in a Cartesian product.