Measures of compactness in approach spaces
We investigate whether in the setting of approach spaces there exist measures of relative compactness, (relative) sequential compactness and (relative) countable compactness in the same vein as Kuratowski's measure of compactness. The answer is yes. Not only can we prove that such measures exist, but we can give usable formulas for them and we can prove that they behave nicely with respect to each other in the same way as the classical notions.