realcompactness

Noun

 * 1) The quality of being realcompact.