TVS-isomorphism