monic
noun
Definitions
A monic polynomial.
adjective
Definitions
Of a polynomial whose leading coefficient is one.
Monomorphic.
Of a morphism: that it is a monomorphism.
Example: If a composition (of morphisms) is monic then, by theorem, the pre-composite of it is monic as well.