的序逆对偶存在于某个集合"S"的幂集合中：若formula_3表示补集，则formula_4当且仅当formula_5。在拓扑学中，开集和闭集是对偶概念：开集的补是闭的，反之亦然。在拟阵论中，某个给定拟阵的独立集合的补集簇形成另一个拟阵，称作对偶拟阵。在逻辑中，我们可以把非量化公式中变量的成真赋值表示为对该赋值为真的变量集合。成真赋值满足该公式当且仅当该成真赋值的补满足该公式的德·摩根定律。逻辑中的全称量词和存在量词也是类似的对偶。偏序可以解释为范畴，在该范畴中存在从"x"到"y"的arrow当且仅当偏