 Conservative functor

In category theory, a branch of mathematics, a conservative functor is a functor formula_1 such that for any morphism "f" in "C", "F"("f") being an isomorphism implies that "f" is an isomorphism.The forgetful functors in algebra, such as from Grp to Set, are conservative.