YES

   1: from(x1) -> :(x1,from(s(x1)))
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)

@Development Closedness
--- R
   1: from(x1) -> :(x1,from(s(x1)))
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)

--- S
   1: from(x1) -> :(x1,from(s(x1)))
   2: sel(0(),:(x2,x3)) -> x2
   3: sel(s(x1),:(x2,x3)) -> sel(x1,x3)