total-order

public under partial-order 5, weak-order 4

List Picture As a command

• linear-extension
• topological-ordering
• well-order