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