对偶律

一个元定理，声明关于偏序集的每个定理，如果所有不等式都反转，则仍然成立。在这个操作中，上确界必须被下确界替换，最大值被最小值替换，反之亦然。在一个格中，这意味着交和并必须互换；在一个布尔代数中，1和0必须互换。

德·摩根定律的两个定律中的每一个都可以通过对偶性从另一个推导出来。