Diskrete Mathematik/Gemischte Definitionsabfrage/18/Aufgabe/Lösung
- Die Relation
heißt
linkseindeutig,
wenn es zu jedem
maximal ein
mit
gibt.
- Ein
Verband
heißt
boolesch,
wenn er
komplementär
und
distributiv
ist.
- Eine Äquivalenzrelation
auf einer Menge
ist eine
Relation,
die die folgenden drei Eigenschaften besitzt
(für beliebige
).
.
- Aus
folgt
.
- Aus
und
folgt
.
- Der
Graph
heißt
homogen,
wenn es zu je zwei Knotenpunkten
einen
Automorphismus
-
mit
-

gibt.
- Ein
aufspannender Wald
ist ein
Untergraph
der ein
Wald
ist, dessen Bäume mit den Zusammenhangskomponenten von
übereinstimmen.
- Eine
Paarung für
liegt vor, wenn jeder Knoten aus
von einer Kante aus
abgedeckt
wird.