A complete space with an inner product is called a Hilbert space.
In this way, we obtain a complete metric space which is also a field and contains Q.
The complete space of solutions to the spatial diffeomorphis for all constraints has already been found long ago.
Discontinuous operators on complete spaces require a little more work.
The positive real numbers with distance function is a complete metric space.
There was enough interior space for whole cities, complete with everything from food and power production to swimming pools and game fields.
In general, the tensor product of complete spaces is not complete again.
For example, they exist as subspaces in every perfect, complete metric space.
One complete space on each curtain is sufficient.
The unit interval is a complete metric space, homeomorphic to the extended real number line.