A Morphism that preserves operational properties.