Definition talk:Dual Ordering

I note that this as a separate page to Definition:Inverse Relation, but they are in fact exactly the same thing, except for the fact that a "dual ordering" is what some sources call it when the relation in question is specifically an ordering (possibly subsuming the concept of a strict ordering as well).

My proposal is that this page be merged with Definition:Inverse Relation, with the term "dual ordering" being added into the "also known as" section on that page. "When $\mathcal R$ is an ordering, its inverse is referred to in some sources (e.g. the Birkhoff work cited in the subpage?) as the dual ordering sort of thing.

Thoughts? --prime mover (talk) 05:56, 6 April 2015 (UTC)