Frink代数偏序集

引入了Frink代数偏序集的概念,讨论了它的一些性质,给出了它的若干刻画,特别地,证明了Frink代数偏序集的正规完备化δ(P)为代数格。

Frink拟代数偏序集

引入了Frink拟代数偏序集的概念,讨论了它的一些性质,给出了它的若干刻画,特别地,证明了Frink拟代数偏序集的正规完备化为拟代数格。

Frink-Tukey度量化引理

一致空间的度量化问题是一致空间的基本问题之一,其主要工具是Tukey度量化引理.证明在拓扑空间的度量化问题中起主要工具之一的Frink引理与Tukey度量化引理如出一辙,可将它们称之为Frink-Tukey度量化引理.

自由Z-domain

给出由偏序集生成的自由Z-domain,讨论自由Z-domain和偏序集的Dedekind-MacNeille完备化的一些性质。