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.
Antichain
Let be a subset of a Poset.
Suppose no two distinct elements of are related.
Then is an antichain.