經常需要定義在字符串集合上的次序。如果字符表 Σ 有壹個全序 (cf. 字母序)，則可以定義在 Σ* 上的叫做詞典序的全序。註意因為 Σ 是有限的，總是可以定義在 Σ 繼而在 Σ* 上的良好次序。例如，如果 Σ = {0, 1} 並且 0 < 1，則 Σ* 的詞典次序是 ε < 0 < 00 < 000 < … < 011 < 0110 < … < 01111 < … < 1 < 10 < 100 < … < 101 < … < 111 …