V algebře je pologrupa algebraická struktura s jednou asociativní binární operací. Je to tedy grupoid, jehož operace je asociativní.