precompactness

Noun

 * 1) The quality of being precompact.