countable-set public under mathematical-set 77 List Picture As a command %3 n0 countable-set n2 finite-set n0->n2 n1 mathematical-set n1->n0