定義
S を集合とする。
Δ = {(x, x) ∈ S×S；x ∈ S} を S×S の対角集合とする。
Δ は S の順序関係を定める。
この順序関係を S の離散順序と言う。