precompactness
Etymology
From precompact + -ness.
noun
The quality of being precompact.