transitive-relation public under binary-relation 126, logical-relation 17 List Picture As a command %3 n0 transitive-relation n3 preorder n0->n3 n4 strict-order n0->n4 n5 transitive-closure n0->n5 n1 binary-relation n1->n0 n2 logical-relation n2->n0