YES 1 decompositions #1 ----------- 1: f(x1) -> x1 2: f(x2) -> f(f(x2)) @Development Closedness --- R 1: f(x1) -> x1 2: f(x2) -> f(f(x2)) --- S 1: f(x1) -> x1 2: f(x2) -> f(f(x2))