Binoid: M=(specN∪{∅},∪,∅,N+){\displaystyle {}M=(\operatorname {spec} N\cup \{\emptyset \},\cup ,\emptyset ,N_{+})}.
Eigenschaften:
Das Binoid ist boolesch.