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

полугруппы [img: http://localhost:8080/file/031512-200.jpg] - непустое подмножество [img: http://localhost:8080/file/031512-201.jpg], удовлетворяющее следующему условию: для любых [img: http://localhost:8080/file/031512-202.jpg] (здесь [img: http://localhost:8080/file/031512-203.jpg], если Sсодержит единицу, и [img: http://localhost:8080/file/031512-204.jpg] есть полугруппа, получаемая из Sприсоединением единицы, если Sне содержит единицу) и любых [img: http://localhost:8080/file/031512-205.jpg] из [img: http://localhost:8080/file/031512-206.jpg] следует [img: http://localhost:8080/file/031512-207.jpg]. Подмножество Nбудет Н. к. полугруппы Sтогда и только тогда, когда Nявляется классом нек-рой конгруэнции на S.