偶形式来自于序理论。偏序关系"P" = ("X", ≤)的对偶是由同一偏序集组成但关系相反的偏序关系"P"。我们比较熟悉的对偶偏序的例子有：为某一偏序"P"定义的概念会对应到对偶偏序集"P"的"对偶概念"上。例如，"P"的极小元对应于"P"的极大元：极小和极大是序理论中的对偶概念。序理论中的其他对偶概念还包括上界和下界、上闭集合和下闭集合、理想和滤子。一种特殊的序逆对偶存在于某个集合"S"的幂集合中：若formula_3表示补集，则formula_4当且仅当formula_5。在拓扑学中，开集