English edit

Etymology edit

precompact +‎ -ness

Noun edit

precompactness (uncountable)

  1. The quality of being precompact.