La definición de compacidad es entonces: