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

Binoid: ${}M=(\operatorname {spec} N\cup \{\emptyset \},\cup ,\emptyset ,N_{+})$.

Eigenschaften:

Das Binoid ist boolesch.