ratvuividagapdcban

Giả sử $f : X \rightarrow Y$ là một song ánh từ tập hợp X lên tập hợp Y . Khi đó, $f$ có ánh xạ ngược $g = f^{−1} : Y \rightarrow X$. Chứng minh rằng: Nếu $C$ là một tập hợp con của $Y$ thì tạo ảnh $f^{−1}(C)$ của tập hợp $C$ qua ánh xạ $f$ và ảnh $g(C)$ của tập hợp $C$ qua ánh xạ $g = f^{−1}$ là hai tập hợp bằng nhau: $g(C) = f^{−1}(C)$.