Subfunctor

In category theory, a branch of mathematics, a subfunctor is a special type of functor which is an analogue of a subset.