If $T$ and $S$ are injective, then $S(T(x))=S(T(y))$ first gives $T(x)=T(y)$ and then $x=y$. Hence $S\circ T$ is injective. The converse only forces $T$ to be injective, not necessarily $S$ on its entire domain.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.