:: deftheorem defines T_1-reflex T_1TOPSP:def 4 :
for T, S being non empty TopSpace
for f being continuous Function of T,S
for b₄ being continuous Function of (T_1-reflex T),(T_1-reflex S) holds
( b₄ = T_1-reflex f iff (T_1-reflect S) * f = b₄ * (T_1-reflect T) );