直積集合
and thus the Cartesian product is a set since