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