Kommutatives Binoid/(spec M cup empty, cup, empty, M+)/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist boolesch.