大元：极小和极大是序理论中的对偶概念。序理论中的其他对偶概念还包括上界和下界、上闭集合和下闭集合、理想和滤子。一种特殊的序逆对偶存在于某个集合"S"的幂集合中：若formula_3表示补集，则formula_4当且仅当formula_5。在拓扑学中，开集和闭集是对偶概念：开集的补是闭的，反之亦然。在拟阵论中，某个给定拟阵的独立集合的补集簇形成另一个拟阵，称作对偶拟阵。在逻辑中，我们可以把非量化公式中变量的成真赋值表示为对该赋值为真的变量集合。成真赋值满足该公式当且仅当该成真赋值的补满足该公式的德·摩根定