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