A one-to-one → mapping between two → sets, which preserves the relations existing between elements in its → domain. An isomorphism is a → bijective morphism.
See also: → iso-; → morphism.
