Hygiene of derivation sequences

{\it Последовательность Вывода} ({\bf ПВ}) {\it Функциональной Зависимости} ({\bf ФЗ}) из заданной совокупности {\bf ФЗ} является программой умозрительной {\bf ВМ} ({\it Вычислительной машины}), управляющейся командами \textbf{F} и \textbf{B}. Формализация представляет {\bf ПВ} в виде {\it Каскадно Упорядоченного Множества} ({\bf КУМ}) с порядками {\it следования} $\leqslant^{0)} :=$\colorbox{LightGray}{$=\twoheadrightarrow$} и {\it вывода} $\leqslant^{1)} :=$ \colorbox{LightGray}{$=\Rrightarrow$}, наследующего от {\bf ПВ} нежелательные свойства программирования:\quad{\sl 1. Вариативность создания; 2. Неконтролируемое исходящее гнездование (ветвление); 3. Возможность многократного повторения в программе функционально эквивалентных фрагментов; 4. Прочее}.\quad Настоящая работа нацелена на искоренение этих недостатков {\bf ПВ}, что достигается спрямлением алгоритмов и реализуется цепочкой Лемма 3 $\mapsto$ Теорема 3 $\mapsto$ Теорема 4, которая в конечном счёте позволит каждой {\bf ПВ} поставить в соответствие функционально эквивалентное ей алгебраическое выражение в некоторой \textbf{D}-алгебре. The {\it Sequence of Derivation} ({\bf DS}) of the of {\it Functional Dependence} from the set of other {\bf FD} is the program of the notional {\it Computer} which is operated by commands \textbf{F} and \textbf{B}. Formalization of {\bf DS} presents her as the {\it Cascade Ordered Set} ({\bf COS}) with Orders of {\it consecution} $\leqslant^{0)} :=$\colorbox{LightGray}{$=\twoheadrightarrow$} and of {\it conclusion} $\leqslant^{1)} :=$\colorbox{LightGray}{$=\Rrightarrow$} inheriting undesirable properties of programming from {\bf DS}:\quad{\sl 1. Variability of software development; 2. The uncontrollable outgoing nesting (branching); 3. A possibility of repetition in the program of functionally equivalent fragments; 4. Other}. This work is aimed at eradication of these shortcomings of {\bf DS} that is reached by rectificaition of algorithms and is implemented by the chain of Lemma 3 $\mapsto$ Theorem 4 $\mapsto$ Theorem 4 which eventually will allow each {\bf DS} put in correspond the algebraic expression functionally equivalent to it in some \textbf{D}-algebra.