>>473
全順序集合の直積集合は辞書的順序によってまた全順序集合となる。ということから来ています。
複素数を実数のペアと同一視してやればよい。