Cartesian product
Orders on the Cartesian product of totally ordered sets.