YOU SAID:

Mathematically, my point type is isomorphic to a free monoid over {a, b} equipped with a rule that ab = b

INTO JAPANESE

数学的には、私の点の型は、ab = b というルールを備えた {a, b} 上の自由モノイドと同型です。

BACK INTO ENGLISH

Mathematically, my point type is isomorphic to the free monoid on {a, b} with the rule ab = b.

INTO JAPANESE

数学的には、私の点の型は、規則 ab = b を持つ {a, b} 上の自由モノイドと同型です。

BACK INTO ENGLISH

Mathematically, my point type is isomorphic to the free monoid on {a, b} with the rule ab = b.