Teoremi formel olarak
(X,τ) topolojik uzay ve ∅≠A⊆X olmak üzere
A∈τ⇔τA⊆τ
şeklinde ifade edebiliriz.
Gerek kısmı: A∈τ ve B∈τA olsun.
B∈τA⇒(∃T∈τ)(B=T∩A)A∈τ}⇒B∈τ/τA⊆τ.
Yeter kısmı: τA⊆τ olsun. (A∈τ olduğunu göstereceğiz.)
(X,τ) topolojik uzay⇒τ,X'de topoloji∅≠A⊆X}⇒A=A∩X∈τA⊆τ⇒A∈τ.