@JohnWatson Tags for posets (with various but rather similar names) has been created and removed several times in the past. (See for example
here or
here.) To prevent a few other rounds of creation and removal of this tag, it would probably be better to discuss matters on meta first. Anyway, I would suggest to continue this
in chat, so that we do not leave here many comments unrelated to this question. —
Martin Sleziak 17 secs ago