Exact verification [1]} can propagate exact sets rather than relaxations. However, to express them in tractable form it is necessary to relax their representation. Thus we use the term “relaxation” throughout.

Точная верификация [1] может распространять точные наборы вместо релаксаций. Однако, чтобы выразить их в управляемой форме, необходимо расслабить их представление. Поэтому мы используем термин "релаксация" на протяжении всего текста.