for T, S being non empty TopSpace st T is injective holds
for f being Function of T,S st corestr f is being_homeomorphism holds
T is_Retract_of S