結果 : define cartesian product of two non empty sets