 Here is another example of an algebra.   This time we are concerned on  Set  with  Fx = x +1, as defined above. The algebra we have in mind is  (N, s).   Here s : N+1  → N  takes the  natural number n to its successor n+1, and the new point in N+1  to the number 0. 