munkres 위상수학에 딸려있는 집합론 압축된거 있잖아 이거 개념 있을거 다있음? 

아님 그냥 jech나 pinter꺼로 보게