:: deftheorem defines is_a_retract_of BORSUK_1:def 17 :
for X being non empty TopSpace
for Y being non empty SubSpace of X holds
( Y is_a_retract_of X iff ex F being continuous Function of X,Y st F is being_a_retraction );