So in the inductive step, we assume for some .

Then and

Now . Where this was true since

Therefore , as required.

Oh and also, the element of symbol in latex is simply " \in ". So I used that above, you can click and see. And I don't know a shortcut to get around the constant math tags, sorry.