It sounds like you're adding an additional constraint though. By requesting all the members of each set to be able to be named, it seems like you're restricting

It sounds like you're adding an additional constraint though. By requesting all the members of each set to be able to be named, it seems like you're restricting the sets to be countable. > E.g.: what if you have sets where the elements are non-computable? That includes the unmodified real numbers.