equivalence-relation public under preorder 8, symmetric-relation 1 List Picture As a command %3 n0 equivalence-relation n1 preorder n1->n0 n2 symmetric-relation n2->n0