negation functor

Мат. функтор отрицания