Theorem 1. A set is open is closed. Likewise, a set is closed is open.
Proof. 가 open이라고 하자. 를 의 limit point라고 하면, 의 어떤 근방을 가지고 와도 항상 와 겹치는 부분이 존재하므로 이다. ( 만약 이면 의 어떤 근방이든 항상 에 완전히 포함되므로 와 겹치는 부분이 생길 수 없다.) 따라서 는 closed이다.
가 closed라고 하자. 를 가져온 뒤 의 임의의 근방을 생각하자. 이때 만약 이 근방이 와 겹치는 부분이 존재한다면 는 의 limit point이므로 이고, 이는 모순이다. 따라서 의 어떤 근방을 잡더라도 결코 와 겹치치 않으므로, 다시 말해 완전히 에 포함되므로 는 open이다.
두 번째 명제의 경우 로 택하면 첫 번째 명제에 의해 자명하게 성립한다.
open과 closed는 상호배타적인 개념은 아니지만, 그 집합의 여집합과는 상호배타적이라고 할 수 있다.