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