Keragaman topologi

Keragaman juga seringkali diharuskan untuk terhitung-kedua. Syarat ini diperlukan supaya keragaman dapat disisipkan dalam ruang Euklidean dimensi berhingga. Untuk sembarang keragaman, sifat terhitung-kedua, Lindelof, dan kompak-σ adalah setara.