(mat.) niepusty zbiór G z określonym działaniem (oznaczonym symbolem •); działanie w p. przyporządkowuje każdej parze elementów {a, b} inny element zbioru G, zw. iloczynem elementów a i b (oznaczony symbolem (a • b), przy czym działanie to jest łączne: (a • b) • c = a • (b • c).
PÓŁGRUPA
Nauki ścisłe