定義
L と M を順序集合とする。
f：L → M を写像とする。
x ≦ y と f(x) ≧ f(y) が同値であるとき f は順序双対埋め込み(dual-order embedding)　という。