In set theory, is the set of all functions from to .
This notion can be applied to the example above in which to see the isomorphism with the binary numbers from 0 to with being the number of elements in the set.