Why do maximal-rank transformations of an infinite set $X$ generate the whole full transformation semigroup?
This question is a by-product of this one. I'm asking it because of this comment by Tara B. I'll repeat the definitions. The full transformation semigroup $\mathscr T_X$ on a set $X$ is the semigroup ...
$\mathscr T_X$ will denote the set of all functions from a non-empty set $X$ into itself, with the binary operation of composition $\circ$ making it a semigroup, called the full transformation ...