Full Idea
An 'isomorphism' is a bijection between two sets that preserves all structural components. The interpretations of each constant symbol are mapped across, and functions map the relation and function symbols.
Gist of Idea
An 'isomorphism' is a bijection that preserves all structural components
Source
Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.4)
Book Reference
Wolf,Robert S.: 'A Tour Through Mathematical Logic' [Carus Maths Monographs 2005], p.181
Related Idea
Idea 10079 A 'bijective' function has one-to-one correspondence in both directions [Smith,P]