Let be a morphism in Category We say is an epimorphism if for all We denote epimorphisms by In Category of Sets, epimorphisms are surjective.