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