Zum Inhalt springen

Verband/Algebraisch/Definition

Aus Wikiversity
Algebraischer Verband

Eine Menge mit zwei kommutativen und assoziativen Verknüpfungen und heißt algebraischer Verband, wenn die Absorptionsgesetze

und

gelten.