Verband/Algebraisch/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Algebraischer Verband

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

und

gelten.