noun - A function in algebra or a concept in category theory that retains distinctness, essentially a mapping or transformation that never maps distinct elements to the same element.