عمل شرکت‌پذیر
associative operation
تکواره
monoid
نیم گروهی که دارای عنصر همانی است.
تکواره آزاد
free monoid
group
گروه
عنصر همانی
identity element
تکواره جابجایی
commutative monoid
semi-group
نیم‌گروه