Precompactness and total boundedness in products of metric spaces.
Approach spaces ([4], [5]) turned out to be a natural setting for the quantification of topological properties. Thus a measure of compactness for approach spaces generalizing the well-known Kuratowski measure of non-compactness for metric spaces was defined ([3]). This article shows that approach uniformities (introduced in [6]) have the same advantage with respect to uniform concepts: they allow a nice quantification of uniform properties, such as total boundedness and completeness.
Page 1