5:25 PM
@Martin this is an unresolved issue. I think it is best to avoid the tag "lattices" and maybe also "lattice-theory."
Possibly somebody should just bite the bullet and create more specific substitutes.
The discussions about what would be optimal names seem a bit inconclusive.
But in the end whatever distinctive would suffice, now that we have tag wikis.
