Giả sử <span class="katex-r" data-latex="displaystyle f(x), g(x)"></span> là các hàm số xác định ên <span class="katex-r" data-latex="displaystyle {R}"></span>. Đặt <span class="katex-r" data-latex="displaystyle A = {x ∈ {R} f(x) le 0}"></span> và <span class="katex-r" data-latex="displaystyle B = {x ∈ {R} g(x) < 0}"></span>. Gọi <span class="katex-r" data-latex="displaystyle A^c, B^c"></span> lần lượt là tập bù của <span class="katex-r" data-latex="displaystyle A, B"></span> ong <span class="katex-r" data-latex="displaystyle {R}"></span>. Biểu diễn tập nghiệm của bất phươ