Bài tập 12, § 1

Cho $\Phi$ là một tập hợp các ánh xạ của một tập hợp A vào chính nó. Cho $\mathfrak{F}$ là tập con của $\mathfrak{P}(A)$ gồm tất cả các $X \subset A$ sao cho $f(X) \subset X$ với mỗi $f \in \Phi$. Chứng minh rằng $\mathfrak{F}$ là một dàn đầy đủ đối với quan hệ bao hàm.