Kommutatives Binoid/S(V) cup/Beispiel

Binoid: ${}M={\mathcal {S}}(V)_{\cup }:=({\mathcal {S}}(V),\cup ,\{\emptyset \},{\mathcal {P}}(V)){\text{, }}V\neq \emptyset$.

Eigenschaften:

Das Binoid ist boolesch.

Das Binoid ist integer, genau dann, wenn ${}\#V=1$.