Сепаративная полугруппа
Сепарати́вная полугру́ппа, полугруппа, в которой для любых элементов из следует . Если полугруппа обладает разбиением на подполугруппы, удовлетворяющие закону сокращения, то будет сепаративной полугруппой. Для коммутативных полугрупп верно и обратное; более того, всякая коммутативная сепаративная полугруппа разложима в связку полугрупп (автоматически в полурешётку) с законом сокращения. Коммутативная полугруппа будет сепаративной полугруппой тогда и только тогда, когда она вложима в клиффордову полугруппу. Периодическая полугруппа будет сепаративной полугруппой тогда и только тогда, когда она клиффордова. Коммутативная полугруппа будет сепаративной полугруппой тогда и только тогда, когда её характеры отделяют элементы .
