theorem :: WAYBEL25:10

for S, T being non empty TopSpace st T is injective & S is_Retract_of T holds
S is injective