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.