直積集合の分割