total-order public under partial-order 5, weak-order 4 List Picture As a command %3 n0 total-order n3 linear-extension n0->n3 n4 topological-ordering n0->n4 n5 well-order n0->n5 n1 partial-order n1->n0 n2 weak-order n2->n0