直積集合
See also orders on the Cartesian product of totally ordered sets.