>>403
構成した物はMの下部集合構造のみに依るように見えるが。
集合から構成する自由半群ならそれでいいと思う。