partial-order public under antisymmetric-relation 7, preorder 8 List Picture As a command %3 n0 partial-order n3 total-order n0->n3 n4 interval-order n0->n4 n1 antisymmetric-relation n1->n0 n2 preorder n2->n0