Binoid: M = S ( V ) ∪ := ( S ( V ) , ∪ , { ∅ } , P ( V ) ) , V ≠ ∅ {\displaystyle {}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 {\displaystyle {}\#V=1} .
.
.
