詞典順序

對於任意兩個集合 和 的笛卡爾積 的一種排序，其中集合 和 分別具有序關係 和 ，使得如果 和 都屬於 ，那麼 當且僅當 以下情況之一成立

1. ，或

2. 且 。

詞典順序可以很容易地擴充套件到任意長度的笛卡爾積，方法是遞迴地應用這個定義，即透過觀察 。

當應用於排列時，詞典順序是遞增的數值順序（或者等效地，對於符號列表是字母順序；Skiena 1990, p. 4）。例如，排列 的詞典順序是 123, 132, 213, 231, 312, 和 321。

當應用於子集時，兩個子集按照它們的最小元素排序（Skiena 1990, p. 44）。例如， 的子集的詞典順序是 , , , , , , , 。

詞典順序有時也稱為字典順序。