概念格

引进了概念思维的数学模型,证明了全体概念构成代数中的完全格,进一步讨论了子空间和扩展空间的理论。