Câu hỏi 3
Cho tập hữu hạn $S$; gọi $\mathcal{A}$ là tập các hàm từ $S$ đến $S$. Cho $f$ thuộc $\mathcal{A}$, gọi $T=f(S)$ là ảnh của $S$ qua $f$. Giả sử $f \circ g \circ f \neq g \circ f \circ g$ với mọi $g$ trong $\mathcal{A}$, thỏa mãn $g \neq f$. Chứng minh $f(T)=T$.