Cartesian product
and thus the Cartesian product is a set since