directed-set public under partially-ordered-set 14 List Picture As a command %3 n0 directed-set n1 partially-ordered-set n1->n0