The term "forgetful functor" is not perfectly well defined.  Depending on context, I've seen it _defined_ as "faithful functor with a left adjoint", because most notions of "Forget" should have a corresponding notion of "Free".