Definition:Naturally Isomorphic