< mathematics > A bijective map between two objects which preserves, in both directions, any structure under consideration. Thus a `group isomorphism' preserves group structure; an order isomorphism (between poset s) preserves the order relation, and so on. Usually it is clear from context what sort of isomorphism is intended.
(1995-03-25)