Skip to main content
MathOverflow

Return to Answer

added 29 characters in body
Source Link
Emil Jeřábek
Emil Jeřábek
  • 47.1k
  • 1
  • 29
  • 28

There are tags and , both being used for the two unrelated meanings “partial order with binary suprema and infima” and “discrete subgroup of $\mathbb R^n$”. I’m not sure it’s feasible to sort out the ~300 questions involved, but maybe we could try at least to alleviate the problem for future by deciding which tag is supposed to denote which meaning, renaming them unambiguously, and supplying tag summaries. If not, the tags should be merged.

There are tags and , both being used for the two unrelated meanings “partial order with binary suprema and infima” and “discrete subgroup of $\mathbb R^n$”. I’m not sure it’s feasible to sort out the ~300 questions involved, but maybe we could try at least to alleviate the problem for future by deciding which tag is supposed to denote which meaning, and supplying tag summaries. If not, the tags should be merged.

There are tags and , both being used for the two unrelated meanings “partial order with binary suprema and infima” and “discrete subgroup of $\mathbb R^n$”. I’m not sure it’s feasible to sort out the ~300 questions involved, but maybe we could try at least to alleviate the problem for future by deciding which tag is supposed to denote which meaning, renaming them unambiguously, and supplying tag summaries. If not, the tags should be merged.

Source Link
Emil Jeřábek
Emil Jeřábek
  • 47.1k
  • 1
  • 29
  • 28

There are tags and , both being used for the two unrelated meanings “partial order with binary suprema and infima” and “discrete subgroup of $\mathbb R^n$”. I’m not sure it’s feasible to sort out the ~300 questions involved, but maybe we could try at least to alleviate the problem for future by deciding which tag is supposed to denote which meaning, and supplying tag summaries. If not, the tags should be merged.

Post Made Community Wiki by Emil Jeřábek