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

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