On the greatest fixed point of a set functor