Un conjunto formula_3 (el espacio de las funciones continuas de formula_1 en formula_2) será relativamente compacto en la topología de la métrica infinito si y solamente si: