닫힌 집합의 위상적 성질 검증 (예: 연속 사상들의 동치)