Description: A morphism of rings is a function. (Contributed by AV, 14-Feb-2020) (New usage is discouraged.)