Subfunctor

A subfunctor is a Subobject in the Category of Functors

Let $F:\mathbf{Set}\to \mathbf{Set}$
Then $G:\mathbf{Set}\to \mathbf{Set}$
Such that for each $X\in \mathbf{Set}.GX\subset FX$
TODO check this