Binoid: M = S ( V ) ∩ := ( S ( V ) , ∩ , P ( V ) , { ∅ } ) , V ≠ ∅ {\displaystyle {}M={\mathcal {S}}(V)_{\cap }:=({\mathcal {S}}(V),\cap ,{\mathcal {P}}(V),\{\emptyset \}){\text{, }}V\neq \emptyset } .
Eigenschaften:
Das Binoid ist boolesch.
Das Binoid ist integer, genau dann, wenn # V = 1 {\displaystyle {}\#V=1} .