演算が「閉じている」とは〈龍孫江の群論道具箱〉

数学の対象の多くが「器となる集合に，しかるべき性質（公理系）をみたす機構（仕掛け）をのせる」という形で作られています．このとき，部分集合であって機構がその中で完結するものを考えることが重要です． https://youtu.be/V4U2xYnFCYQ 定義（n項演算） 集合$${G}$$の要素$${n}$$個の順序列$${(a_1, \ldots, a_n)}$$に対して，ある$${G}$$の要素を割り当てる写像 $${ \mu \colon G \times \c