정의
파라컴팩트(paracompact)란, 위상 공간 가 모든 열린 덮개 에 대해 를 덮는 국소 유한한 열린 세분 가 존재하는 것을 의미한다.
컴팩트 공간은 모든 열린 덮개에 대해 유한한 세분 덮개가 존재하는 것을 의미한다. 즉, 컴팩트 공간은 파라컴팩트 공간의 특별한 경우이다.
A space X is paracompact if every open covering A of X has a locally finite open refinement B that covers X.