Diskrete Mathematik/Gemischte Definitionsabfrage/4/Aufgabe/Lösung
- Ein kommutativer Halbring ist eine Menge mit
Verknüpfungen
und
und mit zwei ausgezeichneten Elementen
und
derart, dass folgende Bedingungen erfüllt sind:
- Die Addition ist eine kommutative, assoziative Verknüpfung, für die das neutrale Element ist.
- Die Multiplikation ist eine kommutative, assoziative Verknüpfung, für die das neutrale Element ist.
- Es gilt das Distributivgesetz, also
- Geordnete Mengen/Abbildung/Ordnungsvolltreu/Definition/Begriff/Inhalt
- Die Restklassengruppe ist die Quotientenmenge mit der eindeutig bestimmten Gruppenstruktur.
- Ungerichteter Graph/Isolierter Knoten/Definition/Begriff/Inhalt
- Ungerichteter Graph/Kontraktionsgraph/Definition/Begriff/Inhalt
- Ungerichteter Graph/Baum/Definition/Begriff/Inhalt