> It maps every tree to a natural number, but not every natural number to a tree.

This is a one-to-one mapping between binary trees and natural numbers.

This encode an n level tree with O(n) bits