półgrupa

półgrupa,

mat. zbiór P z dwuargumentowym działaniem, przyporządkowującym każdej parze elementów a, b ∈ P element ab ∈ P i spełniającym warunek łączności (tzn. dla dowolnych a, b, c ∈ P zachodzi a(bc) = (ab)c);

p. są m.in.: dowolna grupa, zbiór liczb naturalnych z mnożeniem, zbiór macierzy rzeczywistych n × n z mnożeniem.