effacable functor

Мат. забывающий [стирающий] функтор