noun
Definition: A type of mapping in mathematics where each element of one set is paired with a unique element of another set, ensuring that no two elements from the first set map to the same element in the second set.
Example: In algebra, a monomorphism is used to demonstrate that a structure can be embedded into another without losing its properties.