Нормальный Комплекс

Полугруппы — непустое подмножество , удовлетворяющее следующему условию: для любых (здесь , если Sсодержит единицу, и есть полугруппа, получаемая из Sприсоединением единицы, если Sне содержит единицу) и любых из следует . Подмножество Nбудет Н. к. полугруппы Sтогда и только тогда, когда Nявляется классом нек-рой конгруэнции на S. Лит.:[1] Ляпин Е. С, Полугруппы, М., 1960. Л. Н. Шеврин.