Binoid: M = P ( V ) ∩ := ( P ( V ) , ∩ , V , ∅ ) {\displaystyle {}M={\mathcal {P}}(V)_{\cap }:=({\mathcal {P}}(V),\cap ,V,\emptyset )} .
Eigenschaften:
Das Binoid ist boolesch.
Das Binoid ist nicht integer, für # V ≥ 2 {\displaystyle {}\#V\geq 2} .
Das Binoid ist kürzbar, genau dann, wenn # V ≤ 2 {\displaystyle {}\#V\leq 2} .
Dimension: n − 1 {\displaystyle {}n-1} , falls # V = n ∈ N {\displaystyle {}\#V=n\in \mathbb {N} } .
.
.
.
, falls 
.
