典型特征词：Quantale,拓扑,半群,滤子,代数,半格,闭包,相对约简,约简,拓扑系统,闭包元,完备化,范畴,Heyting,AE,形式背景,拓扑约简,闭包集,态射,对偶素谱,信息态射,一致拓扑空间,紧性,给出,知识库,核映射,有界,完备,拓扑空间,扑空,对偶,求法,可数,导集,证明,RM,概念,子空间,逻辑,剩余,连通,语义,知识,刻画,映射,反射,区分,理想,代数,半群,连通分支,滤子,Rota,理想,犹豫模糊,模糊,上集列,犹豫,连通,犹豫模糊滤子,通分,Heyting,偏序集,半环,抽象知识库,同余关系,偏序,抽象知识,上集列连通分支,闭映射,Quantale,交约简,有界,拟补,区分矩阵,同余,上集,约简,算子,bner,Shirshov,知识库,代数和,分支,纲领,MTL,核理想,犹豫模糊集,重写系统,求法,Gr,Cantor,映射,Bernstein,矩阵,洗牌,分配格,抽象