For working with countable sets I have to define a coding function of all finite subsets of N (natural numbers). How can I do this? I started with finding a function for all
