>>402

M をマグマとする。

M の元の重複を許した有限列 a_1a_2,...,a_n の全体か?