結果 : definition of cartesian product of sets