Неприводимые порождающие множества полных полугрупп объединений $B_X(D)$, определенных полурешетками класса $\Sigma_1(X,4)$

Для полных полугрупп объединений $B_X(D)$, определенных полурешетками класса $\Sigma_1(X,4)$, описано множество всех внешних элементов и показано, что оно является порождающим (и, следовательно, неприводимым) множеством полугруппы $B_X(D)$. Для конечной полугруппы $B_X(D)$ дана формула для вычисления числа элементов порождающего множества.