Binoid: M=B(N)∩:=(B(N),∩,specN,∅){\displaystyle {}M={\mathcal {B}}(N)_{\cap }:=({\mathcal {B}}(N),\cap ,\operatorname {spec} N,\emptyset )}.
Eigenschaften:
Das Binoid ist boolesch.