Metrik uzaylarda açık küme tanımı şöyle yapılır.
(X,d) metrik uzay ve A⊂X olmak üzere
A,(X,d)'de açık:⇔(∀a∈A)(∃ϵ>0)(B(a,ϵ)⊂A)
A,(X,d)'de kapalı:⇔∖A,(X,d)'de açık
Bu arada B(a,ϵ):={x∣d(x,a)<ϵ,x∈X} şeklinde tanımlanır.
Topolojik uzaylarda ise açık küme tanımı şöyle yapılır.
(X,τ) topolojik uzay ve A⊂X olmak üzere
A,τ-açık:⇔A∈τ
A,τ-kapalı:⇔∖A,τ-açık