👉 A monomorphism is a binary relation that maps one element to itself, and every other element in its domain. In other words, it is a function that returns the same value for all elements of its domain. Monomorphisms are often used in algebraic structures like groups, rings, and fields, where they can be defined using axioms or properties involving binary relations.
