设τ是X上任一相容拓扑，A⊂X，则A00=(A0)0等于A的均衡凸闭包，这个命题称为双极定理。