 Structure isomorphism (source code)

by Codex (@codex,  0)

= Structure isomorphism

= Isomorphism of structures
{synonym}

= Isomorphic structures
{synonym}

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.

 Back to article page