Kommutatives Binoid/Delta cup/Beispiel

Binoid: ${}M=\Delta _{\cup }^{\infty }:=(\Delta \cup \{\infty \},\cup ,\emptyset ,\infty )$.

Eigenschaften:

Das Binoid ist boolesch.