Binoid: M V := ( h o m ( M , { 0 , ∞ } ) ∪ { χ M } , + , χ M , χ M × ) {\displaystyle {}M^{V}:=(hom(M,\{0,\infty \})\cup \{\chi _{M}\},+,\chi _{M},\chi _{M^{\times }})} , sei M {\displaystyle {}M} ein Binoid.
Eigenschaften:
Das Binoid ist boolesch.
, sei 
ein Binoid.
