Непустое подмножество Н полугруппы называется подполугруппой, если произведение любых двух элементов из / / снова ... - Большая Энциклопедия Нефти и Газа
Непустое подмножество Н полугруппы называется подполугруппой, если произведение любых двух элементов из / / снова лежит в И. Это, в частности, означает, что всякая подполугруппа является полугруппой относительно операции, определенной в исходной полугруппе. Например, четные числа образуют подполугруппы полугрупп 1, 2 и 4 из таблицы 1, а множество - 1, О, 1) - подполугруппу полугруппы 2 из той же таблицы. Но для полугруппы 1 это подмножество подполугруппой не является.
