半群は、群・環・多元環・体・束に共通する最も原始的な構造をもつ代数系である.
をもつ代数系