 Structure isomorphism

A structure isomorphism is a bijective structure embedding: it preserves constants and functions, and both preserves and reflects relations. Its inverse has the same properties. It therefore preserves truth of every first-order formula, by structural induction, so it preserves realization and omission of parameter-free types.