Beweis (reflexive-transitive Hülle)

Aufrufe: 29     Aktiv: 09.11.2021 um 16:34

0
Hallo, 

habe folgende Aufgabe: \(R^*: R^+ = \bigcup_{n \geq 1}R^n \)
\(R^+\) ist definiert als die kleinste transitive Relation, die \(R\) enthält. \(R^*\) ist definiert als reflexive-transitive Hülle. 
\(RHS = \bigcup_{n \geq 1}R^n \)

Ich soll zeigen, dass \(RHS\) \(R\) enthält und das \(RHS\) transitiv ist. 

Jemand einen Tipp, wie man da anfangen soll?
Diese Frage melden
gefragt

Student, Punkte: 96

 
Kommentar schreiben
0 Antworten