完全海廷代数 在数学特别是序理论中完全海廷代数是作为完全格的海廷代数完全海廷代数是三个不同范畴的对象它们是范畴CHeylocales的范畴Loc它的对偶frames的范畴Frm