At this point we can define for instance the function jump
n
which creates the stream
n
,
n
plus
m
,
m
plus two
m
. Again this is defined using the function Map as the greatest fixed point of an operator.