countable-set public under mathematical-set 77 List Picture As a command finite-set 3 All 4 below countable-set →