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