Consider the binary relation reflexive transitive closure

Question

Consider the binary relation:

S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}

The reflexive transitive closure of S is

Answer 1

{(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}