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.
Initial Segment
A subset of a Linear order set is an initial segment of if
For , we write .
This is an initial segment.
It is also proper as so