subset public under mathematical-set 77 List Picture As a command %3 n0 subset n2 lower-set n0->n2 n3 upper-set n0->n3 n4 antichain n0->n4 n5 matrix-diagonal n0->n5 n1 mathematical-set n1->n0