left-adequate functor

Мат. левый адекватный функтор