for S, T being non empty TopSpace
for s being Point of S
for t being Point of T holds FGPrIso (s,t) is bijective ;