Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
To be effective, the new tags should be such that users will naturally select the right one for new questions. Therefore, a new name would also be needed for the ordered algebraic structure. Unfortunately, I have not been able to find two natural tag names for this.
Another option, which is the current status quo, is to keep the lattice tag ambiguous and hope that users will disambiguate using additional tags.