Author: nLab edit announcer Format: MarkdownItexrelation -> order as that is the term used in the reference
Anonymous
<a href="https://ncatlab.org/nlab/revision/marked+extensional+well-founded+order/1">v1</a>, <a href="https://ncatlab.org/nlab/show/marked+extensional+well-founded+order">current</a>
relation -> order as that is the term used in the reference