Apartness as a relation between subsets’, in preparation (0)

by Peter Schuster, Lumini¸ta Dediu, Douglas Bridges