theorem :: T_0TOPSP:9

for T being non empty TopSpace holds T_0-reflex T is T_0-TopSpace