refl. und transit. Abschluss < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
Verstehen durch Erklären:
den transitiven Abschluss über eine Relation erhalte ich wenn gilt:
[mm] \forall a,b,c ( (a,b) \in R \wedge (b,c) \in R \Rightarrow (a,c) \in R ) [/mm]
den reflexiv transitiven Abschluss erhalte ich zusätzlich wenn gilt:
[mm] \forall a \in M : ((a,a) \in R ) [/mm]
D.h. wenn ich den transitiven Abschluss suche, brauche ich die Menge gar nicht kennen, sondern nur die Relation, beim reflexiv transitiven Abschluss muss ich die Menge schon kennen.
Ist das soweit korrekt?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 01:20 Di 03.11.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
