TVS isomorphism