reflexive-relation public under binary-relation 126, logical-relation 17 List Picture As a command %3 n0 reflexive-relation n3 preorder n0->n3 n1 binary-relation n1->n0 n2 logical-relation n2->n0