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.