A CONSTRUCTIVE THEORY OF APARTNESS ON LATTICES

抄録

The theory of apartness spaces is lifted to the more abstract context of complemented frames with habitation, thereby providing another point-free constructive approach to topology.