On directed transformations of formulas

This studies the question of the existence of bases of systems of equalities for the unrestricted algebras employed in the problem of the minimization of terms. It is shown that for any algebra there exists a basic system of equalities with the aid of which any term can be monotonically minimized with respect to depth.