词典顺序

对于任意两个集合 和 的笛卡尔积 的一种排序，其中集合 和 分别具有序关系 和 ，使得如果 和 都属于 ，那么 当且仅当 以下情况之一成立

1. ，或

2. 且 。

词典顺序可以很容易地扩展到任意长度的笛卡尔积，方法是递归地应用这个定义，即通过观察 。

当应用于排列时，词典顺序是递增的数值顺序（或者等效地，对于符号列表是字母顺序；Skiena 1990, p. 4）。例如，排列 的词典顺序是 123, 132, 213, 231, 312, 和 321。

当应用于子集时，两个子集按照它们的最小元素排序（Skiena 1990, p. 44）。例如， 的子集的词典顺序是 , , , , , , , 。

词典顺序有时也称为字典顺序。