| | Springer Online Reference Works |
 | | A term of relevance for a metric space, a uniform space, a topological space, a proximity space, the space of a topological group, a space with a symmetry, and a pseudo-metric space; it is also possible to use this term in still other cases. |
 | | A uniform space is called complete if for each centred system of sets in it containing sets which are arbitrarily small in relation to the coverings from the given uniform structure, the intersection of the elements of this system is not empty. |
 | | Completeness of a metric space and Raikov completeness can be interpreted as absolute closure with respect to any representation of the given space as a subspace of a space of the same type. |
| eom.springer.de /c/c023880.htm (756 words) |