直積集合
可算個の可算集合の直積集合の濃度は、濃度不等式