precompacts