• 登場人物
    1. 半群
    2. モノイド

( ちなみに、この3人は僕の脳内では「群論三人娘」と呼ばれています )