Abstract Algebra: Semigroups

I'm not sure you've framed your question correctly. By $T_X$ do you mean the full transformation semigroup? This is regular and idempotents commute iff it's inverse. Your statement implies that full transformation semigroups can't be inverse which is not correct.