数学における辞書式順序（じしょしきじゅんじょ、lexicographical / lexicographic / dictionary order）とはいくつかの順序集合の直積集合上に順序を定める方法の一つである。順序集合 "A" と "B" が与えられた際の直積集合 "A" × "B" 上の辞書式順序はとして定められる。辞書式順序という名前は、この順序の定め方が辞書における項目の並べ方を一般化したものと見なせることからきている。つまり、単語（文字の並び）"a"a"..."a" が別の単語 "b"b"..."b" の前に現れるのは "a" が "b" と異なるような最初の "i" について、文字の順番の中で "a" が "b" より前に現れるときである。このとき二つの単語は同じ長さ（文字数）であるものと仮定されているが、実際の辞書では普通短い単語の方を後ろにどんな文字よりも先の順番にある空白を付け加えることで単語の長さがそろっているものとして考える、という操作が行われる。整列順序の入った添字集合 "I" で添字づけられた全順序集合の族 ("A") が与えられたとする。このとき、直積集合 ∏ "A" 上に以下のようにして定められる順序は ∏ "A" 上の辞書式順序とよばれる：上の定義は "I" が特に有限集合 { 1, ... , "n" } の場合にも適用でき。その場合には次のように言いかえることができる。すなわち "A

出典:wikipedia