(Teylor).let A be the set of functions from ω to {0,1}.Define the bi-unary algebra ⟨A,f,g⟩ by letting
f(a)(i)=a(i+1)
g(a)(i)=a(0)
show that a is subdirectly irred

ucibl.