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?