Трактовка задач как бинарных соответствий обеспечивает простую и адекватную формализацию основных компонентов задач, их свойств и конструкций. В частности, возникают естественные формальные понятия обратной задачи и композиции задач. В качестве примера рассмотрена обратная задача к сингулярно возмущенной системе обыкновенных дифференциальных уравнений, моделирующих процесс химической кинетики и горения. Обратная задача скорректирована и приближена к практике посредством композиции с простой вспомогательной задачей, реализующей связь между функциями и конечными наборами чисел. Приведены формулы решения и указаны условия однозначной разрешимости скорректированной обратной задачи.