對偶律

一個元定理，宣告關於偏序集的每個定理，如果所有不等式都反轉，則仍然成立。在這個操作中，上確界必須被下確界替換，最大值被最小值替換，反之亦然。在一個格中，這意味著交和並必須互換；在一個布林代數中，1和0必須互換。

德·摩根定律的兩個定律中的每一個都可以透過對偶性從另一個推匯出來。