Kommutatives Binoid/S(V) cap/Beispiel

Binoid: .

Eigenschaften:

Das Binoid ist boolesch.

Das Binoid ist integer, genau dann, wenn .