Cho ánh xạ <span class="katex-r" data-latex="displaystyle f: X to Y"></span> và hai tập con <span class="katex-r" data-latex="displaystyle A_1, A_2 subset X"></span>. Chứng m∈h rằng đẳng thức sau luôn đúng với mọi ánh xạ: <span class="katex-r" data-latex="displaystyle f(A_1 cup A_2) = f(A_1) cup f(A