Математическая энциклопедия - нормальный комплекс

полугруппы непустое подмножество , удовлетворяющее следующему условию: для любых (здесь , если Sсодержит единицу, и есть полугруппа, получаемая из Sприсоединением единицы, если Sне содержит единицу) и любых из следует . Подмножество Nбудет Н. к. полугруппы Sтогда и только тогда, когда Nявляется классом нек-рой конгруэнции на S.

Лит.:[1] Ляпин Е. С, Полугруппы, М., 1960.

Л. Н. Шеврин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985