拟阵的独立集合的补集簇形成另一个拟阵，称作对偶拟阵。在逻辑中，我们可以把非量化公式中变量的成真赋值表示为对该赋值为真的变量集合。成真赋值满足该公式当且仅当该成真赋值的补满足该公式的德·摩根定律。逻辑中的全称量词和存在量词也是类似的对偶。偏序可以解释为范畴，在该范畴中存在从"x"到"y"的arrow当且仅当偏序中有"x" ≤ "y"。偏序的序逆对偶可扩展为对偶范畴的概念，即由给定范畴中所有arrow的逆所组成的范畴。后面将要描述的很多具体的对偶都是在此意义下的范畴的对偶。
维逆对偶