Теорема о структурировании
Теорема, устанавливающая, что схема программы для решения любой задачи всегда может быть представлена с использованием ограниченного числа элементарных управляющих структур.
Базовыми структурами являются: следование, ветвление и повторение (цикл). Любой алгоритм может быть реализован в виде композиции этих трёх конструкций.