subset public under mathematical-set 77 List Picture As a command lower-set 1upper-set 1antichainmatrix-diagonal All 6 below subset →