半群 (はんぐん) — semigroup | Kumi Dictionary