A → mapping between two mathematical → objects that preserves the object structure. A general → morphism.
See also: → homo-; → morphism.