You mean too weak? Yes, that sounds quite reasonable, even before considering whether it gives us the right definition of Hasse diagram.

]]>I weakened the definition of covering relation for directed graphs so that satisfy the covering relation if their is an edge and no other path from to . The condition that there is no with edges and is too strong.

]]>