例えば、一例としてトポロジーの話題。 正確な書き方と記号の乱用 がモノイドだとすれば、 と書ける。ここで： は集合。モノイドの台集合〈underlying set〉と呼ぶ。檜山は、underly と underline をかけて（駄洒落！）、台集合には下線を引く。 は写像。モ…