E = is element of s
N = integers >= 0
{y | y E N ^ y = y+1}
The books answer is the null set.
The answer makes sense but not sure how to work through the steps another
example in the book shows
t1 := { y E N | y = y +1}
so y must be an element of N which satisfies y = y +1 which there are
none
t2 := { y | y E t1 }
y = null ..
so not sure how to work through the equation ... dealing with the null set
.... any advice
