結局準同型の条件ってなに?
半群の定義もうろ覚えだ