In [1] the concept of completeness of a functor was introduced and, in the cse of additive * categories and and an additive functor T: → , a criterion for T (supposed surjective) to be complete was given in terms of the kernel of T: this was that for each object A of the ideal A should be containded in the (Jacobson) radical of A. (The meaning of this notation and nomemclature is recalled in § 2 below). The question arises whether in any additive category there is a greatest ideal with this property, so that the canonical functor T: → / is in some sense the coarsest that faithfully represents the objects (but not the maps) of .