In particular, a connected manifold is paracompact if and only if it is second-countable.
Khususnya, sebuah keragaman terhubung adalah parakompak jika dan hanya jika ia merupakan terhitung-kedua.