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)
