A bijectivemap 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. (1995-03-25)