lower-set public under subset 6 List Picture As a command %3 n0 lower-set n2 order-ideal n0->n2 n1 subset n1->n0