Hi

Do you agree that, for your formula is true?

Now assume that it is true for a we have to show that it's also true for its successor,

Let be an element of i.e. In the first case, the induction hypothesis states that In the second case, and then

So, using the mathematical induction principle, we proved that is a transtive set.