Isomorphism is a bijection between two collection of entities which preserves structure.
If the entities have no structure, isomorphism is simply a bijection.
If entities are graphs, we have graph isomorphism.
Many cases of isomorphism can be explained as
- isomorphism of algebraic structures (groups, fields, etc.)
- more generally, isomorphisms of models of first-order logic formulas