:: deftheorem defines is_Retract_of WAYBEL25:def 1 :
for X, Y being non empty TopSpace holds
( X is_Retract_of Y iff ex c being continuous Function of X,Y ex r being continuous Function of Y,X st r * c = id X );