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 posets) preserves

the order relation, and so on. Usually it is clear from

context what sort of isomorphism is intended.