precompatto
precompatto o relativamente compatto, in analisi e topologia, insieme la cui chiusura è un insieme → compatto.
