Apartness as a Relation Between Subsets

The notion of apartness has recently shown promise as a means of lifting constructive topology from the restrictive context of metric spaces to more general settings. Starting from the point-subset apartness axiomatised in previous papers, we characterise the constructive meaning of ‘two subsets of a given set lie apart from each other’. Our guiding example is that of an abstract uniform space.