공리는 닫혀 있다는 것을 바로 알려줍니다. 공리는 닫힌 집합의 유한합집합이 닫혀 있다는 것을 알려줍니다. 닫힌 집합의 임의의 교집합이 다시 닫힌 집합이라는 것만 알면 됩니다.

Axiom tells us straight off that is closed. Axiom tells us that the finite union of closed sets is closed. We just need to know that arbitrary intersections of closed sets are again closed.