Keragaman topologi

Setiap keragaman terhitung-kedua merupakan parakompak, tetapi tidak sebaliknya. Meski demikian, kebalikannya hampir benar: sebuah keragaman parakompak merupakan terhitung kedua jika dan hanya jika ia memiliki jumlah komponen terhubung yang terhitung. Khususnya, sebuah keragaman terhubung adalah parakompak jika dan hanya jika ia merupakan terhitung-kedua. Setiap keragaman terhitung-kedua adalah dapat dipisahkan (separabel) dan parakompak. Lebih jauh lagi, jika sebuah keragaman adalah dapat dipisahkan dan parakompak maka ia juga terhitung-kedua.