直積集合
Thus, the cardinality of the Cartesian product of no sets is 1.