There's really no appropriate tag for this question I just asked. One idea for labelling this question and other, similar questions, would be to create a new tag called "ordered algebraic structures." The synopsis could explain that this is meant to encompass partial order relations, not just linear orders.
If we create this tag, it would perhaps be wise to merge "ordered groups" and/or "ordered fields" so that now they're all just tagged "ordered algebraic structures."
What do you guys think?
- Should there be an "ordered algebraic structures" tag?
- Should this replace "ordered groups"?
- Should this replace "ordered fields"?