parakompakten -- prostor je parakompakten, če ima vsako odprto pokritje prostora finejše lokalno končno pokritje