对偶格是向量格到实数域R的序有界线性算子全体。克列因等人证明了巴拿赫格的序性质如何确定了对偶格的序性质。