Interval and order topology;
De Morgan lattice;
Effect algebra;
Compact element;
Hypercompact element;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
The topologies on ordered structures have been intensively studied by mathematicians and computer scientists. Various types of topologies may be introduced, depending on the nature of the ordered sets considered. Our purpose here is to study the interval topology τi, the order topology τo and the topology τΦ induced by a canonical intrinsic uniformity generated by a certain family of pseudometrics on de Morgan lattices. This uniformity and topology may be regarded as a “two-sided symmetrization” of a similar intrinsic uniformity introduced by Erné and Palko for an order-theoretical construction of certain uniform completions.