The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Transitive
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