uncountable-set public under infinite-set 1 List Picture As a command %3 n0 uncountable-set n1 infinite-set n1->n0