[David #23 wrote](https://forum.azimuthproject.org/discussion/comment/15975/#Comment_15975):

> What is the relationship between DAGs and posets?

Jerry just said the [Hasse diagram](https://en.wikipedia.org/wiki/Hasse_diagram) of a poset is a [DAG](https://en.wikipedia.org/wiki/Directed_acyclic_graph). That sounds correct to me, and it's very nice.

He also said that any DAG is the Hasse diagram of a poset. That makes me very nervous.