Moral graph (source code)

= Moral graph
{wiki}

The moral graph of a <Directed acyclic graph> joins every pair of vertices with a common child and then replaces every directed edge by an undirected edge.