(X,τ1),(Y,τ2) topolojik uzaylar, π1:X×Y→X,π1(x,y)=x ve π2:X×Y→Y,π2(x,y)=y olmak üzere
(A⊆X)(B⊆Y)⇒(A×B)∘⊆π1[(A×B)∘]×π2[(A×B)∘] olduğunu gösteriniz.
(x,y)∈(A×B)∘⇒π1(x,y)∈π1[(A×B)∘]⇒x∈π1[(A×B)∘](x,y)∈(A×B)∘⇒π2(x,y)∈π2[(A×B)∘]⇒y∈π2[(A×B)∘]}⇒
⇒
(x,y)∈π1[(A×B)∘]×π2[(A×B)∘].
Bu bilgiyi buradaki soruyu cevaplarken kullanıyoruz.