直積集合
直積集合の元は順序対なので、同じ元はひとつも含まれていない。