Somebody called this implications.
Provide a way to define a tree hierarchy of tags (direct acyclic graphs, as they say). If, for example, tag A is known to be nested in tag Super A, then+when we add a post into A, it is also automatically considered to be part of Super A.
How do we show this relationship in the post UI?