Подпараграф I.4.1.2

Полугруппы и моноиды