2
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 lin...