Is there a name for a partial order that has both a minimal and a maximal element? Alternatively, is there a name for a directed graph with this property?
How do I count the number of cycles in a directed graph?