保积函子

product-preserving functor