直積集合
The product of cardinals comes from the Cartesian product.