Аннотация:
Для одного достаточно обширного класса полугрупповых тождеств доказывается, что каждое тождество из этого класса может быть включено в такую бесконечную совокупность тождеств, в которой ни одно из тождеств не яляется следствием остальных. Библ. 2 назв.