 It is natural to understand the unraveled form as an infinite sequence; standardly, infinite sequences are taken to be functions whose domain is the set N of natural numbers.  So we can take the unraveled form to be the constant function with value 0.  Whether we want to take the stream s described above to be this function is an issue we want to explore in a general way in this entry.  Notice that since we defined s to be an ordered pair, it follows from the way pairs are constructed in ordinary mathematics that s will not itself be the constant sequence 0.