The question is as follows:
The transitive closure of a relation R on S x S is another relation on S x S called Tr(R) such that iif there exists a sequence such that for each .
a) What is the transitive closure of the successor relation? (Defined previously on N x N as: ).
b) What is the transitive closure of the > relation?
The book introduced this concept right in this exercise question without showing any examples. I'm a bit stuck as to how I might interpret this somewhat complex definition [of a transitive closure] and derive the solution.