pma에서 at most countable set of at most countable sets가 countable이라고 corollary에서 얘기하는데 왜 그런거야

subset이라서라고 하는데 왜 그런건지 잘 모르겠네