Kommutatives Binoid/ B M ,cap,spec M, empty /Beispiel

Binoid: ${}M={\mathcal {B}}(N)_{\cap }:=({\mathcal {B}}(N),\cap ,\operatorname {spec} N,\emptyset )$.

Eigenschaften:

Das Binoid ist boolesch.