A set is transitive if every member of a member of is in i.e.
Equivalently
Lemma
Proof
We define ’ is an attempt’ to mean:
’ is a function’ and and and
An easy -induction shows that two attempts agree on their common domain
Another -induction shows that every is in the domain of same attempt
TODO finish proof