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