precompactions