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 Set
Say ’ is a successor set’ if
where is a shorthand for for any formula
and is Successor operation.
Note that are all in any successor set.