[대학교이상] 필터로 위상만들고 호환된다는거 보고

[익명(175.215)]

어떻게 했는지 증명을 읽었던 것 같은데, 기억이 안나서 예전책 찾아봄
이 책에, 폐집합으로 위상을 구성하는 kuratowski topology 라는 내용도 소개해주더라.
오랜만에 보고 궁금증도 해결했으니 다시 봉인