곱집합
and thus the Cartesian product is a set since