This is just a question about terminology. I had thought that "enumerable" is a synonym for "countable," and you could call a set "enumerated" to mean it comes with some specific ordering of type $\omega$ (or an initial segment, if finite). Is that standard or is there another concise terminology for the distinction?
This is just a question about terminology. I had thought that "enumerable" is a synonym for "countable," and you could call a set "enumerated" to mean it comes with some specific ordering of type $\omega$ (or an initial segment, if finite). Is that standard or is there another concise terminology for the distinction?