:: deftheorem Def4 defines ISOM VECTMETR:def 4 :
for V being non empty MetrStruct
for b₂ being set holds
( b₂ = ISOM V iff for x being object holds
( x in b₂ iff x is onto isometric Function of V,V ) );