Операция вычитания целых неотрицательных чисел в количественной теории связана с операцией Ответ множеств.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.