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