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.
Successor
In Zermelo-Fraenkel Set Theory
For a set , define the successor of to be the set
We introduce some names for these:
…