Galois connection
有界格"H"是海廷代数，当且仅当所有的映射"fa"都是单调伽罗瓦连接的下伴随(lower adjoint)。在这种情况下，其相對應的上伴随formula_5是由formula_6给出的，其中的formula_7定义同上。