On the theory of realization of strong differential models. II

The categories of the vocabulary of the a posteriori mathematical modeling of dynamical systems are formalized which enable us to apply the conventional approach to studying the existence of strong irrefutable $(A,B)$-models by formulating some assertions about such properties with a unified system of notions and terms.