ラクソイドは止めた。モノイドン（monoid + on）。もっとも、内輪専用で、通常の用語に戻るかも知らんけど。オン（-on）には何の意味もない。既存の語の後に-onを付けて新語を作る、というルールがある。例： set → seton セットン pointed set → - pointed …