1:在蕴涵偏序半群中引入了三类同态,讨论了它们的关系和性质,并且给出了三个同态定理.
2:证明了任意偏序半群的主滤子都可以由偏序半群上的最小完全半格同余N的同余类唯一表示,并给出了其表示方法。
3:指出了一个偏序集的所有伴随代数都是自同构的,最后给出了伴随代数的构造.
4:辅助关系是定义在偏序集上的一种重要的二元关系.
5:将时间表理论中关于拟全序的相邻交换原则改进为关于偏序的情形.