Kommutatives Binoid/S(V) cup/Beispiel

Aus Wikiversity

Binoid: .

Eigenschaften:

Das Binoid ist boolesch.

Das Binoid ist integer, genau dann, wenn .