partially-ordered-set public under mathematical-structure 88 List Picture As a command %3 n0 partially-ordered-set n2 join-semilattice n0->n2 n3 meet-semilattice n0->n3 n4 directed-set n0->n4 n1 mathematical-structure n1->n0