Keragaman topologi

Setiap keragaman yang kompak merupakan terhitung-kedua dan parakompak.