包含函子

inclusion functor