Kommutatives Binoid/FC(x,y)/(2x=3y)/Beispiel

Aus Wikiversity

Binoid: .

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht semifrei.

Das Binoid ist integer.

Das Binoid ist kürzbar.

Das Binoid ist positiv.

Das Binoid ist torsionsfrei.

Binoidalgebra: .