Giả sử <span class="katex-r" data-latex="displaystyle f(x), g(x), h(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) = 0}"></span>, <span class="katex-r" data-latex="displaystyle B = {x ∈ {R} g(x) = 0}"></span>, và <span class="katex-r" data-latex="displaystyle C = {x ∈ {R} h(x) = 0}"></span>. Biểu diễn qua <span class="katex-r" data-latex="displaystyle A, B, C"></span> tập nghiệm của phương ình sa