ПОИСК Статьи Чертежи Таблицы Обозначим различные классы множеств ® (kj) через (kj), (Xj), ... Два различных класса (X) и (X,) не могут иметь общих элементов, т. е. (Xj) f] ®г (Хг) = 0- Действительно, если бы существовал общий элемент v в пересечении этих классов, то каждый класс можно было бы получить из v: (Xj) = v (0), (Xj) = у -Ь SOT (0), т. е. два класса (Xj) и (Xj) совпали бы. Из сказанного следует, что ® (Xj) = (Xj) (J ®2 (Xj) U + •¦• Определение 4.3. Полугруппа Ш (Xj) называется конечно-порожденной, если ее порождающее множество равно объединению конечного числа классов ® {SOTi (Xj), ..., 4Slr (Xj)}. [Выходные данные]