Not: (X,τ) topolojik uzay olmak üzere
(X,τ), T1/2 uzayı:⇔(∀A⊆X)(D(A)∈C(X,τ)).
Yani bir topolojik uzayın
T1/2 uzayı olması demek uzayın her altkümesinin türev kümesinin kapalı olması şeklinde tanımlanıyor.
D(A):={x|x,A'nın yığılma noktası}
C(X,τ):={F|(F⊆X)(Fc∈τ}