Consider the binary relation:
S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}
The reflexive transitive closure of S is
{(x, y) | y ≥ x and x, y ∈ {0, 1, 2, ... }}