Em um espaço métrico (X, d), um subconjunto A "† X é compacto se e somente se, para toda cobertura aberta de A, existe uma subcobertura finita. Considere o conjunto dos números racionais Q munido da métrica usual. Se A = [0, 1] ") Q, então A é um conjunto compacto em Q.