Binoid: M = S c ( V ) ∪ := ( S c ( V ) , ∪ , V , P ( V ) ) , V ≠ ∅ {\displaystyle {}M={\mathcal {S}}^{c}(V)_{\cup }:=({\mathcal {S}}^{c}(V),\cup ,V,{\mathcal {P}}(V)){\text{, }}V\neq \emptyset } .
Eigenschaften:
Das Binoid ist boolesch.
.
