Definition:Isomorphism (Model Theory)