Trích:
Nguyên văn bởi hung.vx Đặt $A_1=f(\emptyset)$, $A_2=f(A_1)$, $A_3=f(A_2)$,.... Do $\emptyset\subset A_1$ nên $A_1\subset A_2$, $A_2\subset A_3$, ... Hay ta có dãy vô hạn các tập hợp $$\emptyset\subset A_1\subset A_2\subset A_3 ....\subset A_n\subset .... \subset S.$$ Do $S$ là tập hữu hạn nên dãy trên phải dừng, tức là tồn tại $m$ sao cho $A_m=A_{m+1}=f(A_m)$. |
Nếu đề bài không nói gì thêm, ta hiểu rằng $S$ là một tập hợp tổng quát, nên không thể cho rằng $S$ hữu hạn được.
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]