Does this enumerate all rational numbers? If so it results in a mapping between the rational number and the natural numbers.