Sei R eine zweistellige Relation in einer nicht-leeren Menge M
Z.z.
R reflexiv und transitiv ⇒ R ∘ R = R ( dabei wird die Aussage R transitiv ⇔ R ∘ R ⊆ R als gegeben vorausgesetzt)
Das ganze soll ohne Wahrheits- oder Zugehörigkeistafel gezeigt werden..