Cho hai tập hợp <span class="katex-r" data-latex="displaystyle A"></span> và <span class="katex-r" data-latex="displaystyle B"></span>. Chứng m∈h rằng nếu <span class="katex-r" data-latex="displaystyle A subset B"></span> thì: <span class="katex-r" data-latex="displaystyle A cup B = B"></span>