結果 : cartesian product of two sets definition