[順序集合に関する双対原理]
Π を順序集合に関する命題の集合とし、P を順序集合に関する命題とする。
このとき Π ⇒ P なら Π^o ⇒ P^o である。