Directed acyclic graph

Directed acyclic graphs are the non-transitive version of posets.

• directed acyclic open hypergraphs.
• open bayesian networks.

References.

• Compare with The Algebra of Directed Acyclic Graphs (Fiore, Campos), which presents directed acyclic graphs as a PROP.