直積集合
二つの全順序集合の直積集合上に三つの順序を入れることができる。強い順に並べると