finite-set public under countable-set 4 List Picture As a command %3 n0 finite-set n2 empty-set n0->n2 n3 finite-field n0->n3 n4 singleton-set n0->n4 n1 countable-set n1->n0