It is shown that binary correspondences provide a simple and adequate formalization for components of problems, their properties and constructions, make it possible to formalize topological problems, their parametrizations, and dependence of solutions on parameters. As an example, a singularly perturbed system is considered of ordinary differential equations which describes a process of chemical kinetics with many-sheeted slow surface.