preorder public under reflexive-relation 9, transitive-relation 11 List Picture As a command %3 n0 preorder n3 partial-order n0->n3 n4 weak-order n0->n4 n5 equivalence-relation n0->n5 n1 reflexive-relation n1->n0 n2 transitive-relation n2->n0