일반위상 closed limit point basis 같은거 개노잼인데
quotient topology 나올땐 좀 재밌던데