Let be a Morphism in Category We say is a monomorphism if for all We denote a monomorphism by In Category of Sets, monomorphisms are injective.