商泛代数是什么？？？急~~~

研究了Hilbert代数的生成演绎系统的一些性质后，做成了Hilbert代数的商结构，并证明了这种商结构仍然是一个Hilbert代数。
【作者单位】：西安交通大学理学院
【关键词】：Hilbert代数，演绎系统，生成演绎系统，商结构
【分类号】：O153
【DOI】：cnki:ISSN:1005-3085.0.1999-01-024
【正文快照】：
1引言文中约定A表示一个Hilbert代数，D表示A的演绎系统，〈X〉表示A的子集合X生成的演绎系统。有关Hilbert代数的一些性质可参阅文〔1～3〕。定义1．1〔1〕设A是一个非空集合，且包含一个特殊元1。定义二元运算“→”，A×A→A，满足下列条件：?x，y∈A，（H1）x→（y→x）＝1；（H2）（x→（y→x））→（（x→y）→（x→x））＝1；（H3）若x→y＝y→x＝1，则有x＝y，则称〈A，→，1〉是Hilbert代数。对Hilbert代数A可定义它的自然序结构：x≤y?x→y＝…