Axioma de la compacidad: condiciones equivalentes