Friedberg numbering
In computability theory, a Friedberg numbering is a computable numbering of the set of all computably [enumerable set]s that has no repetitions: each recursively enumerable set appears exactly once in the enumeration.
The existence of such numberings was established by Richard M. Friedberg in 1958.