Kommutatives Binoid/(Q geq 0,+,0,Inf)/Beispiel

Binoid: ${}M=(\mathbb {Q} _{\geq 0}^{\infty },+,0,\infty )$.

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist nicht endlich erzeugt.

Das Binoid ist nicht semifrei.

Das Binoid ist integer.

Das Binoid ist kürzbar.

Das Binoid ist positiv.

Das Binoid ist nicht separiert.