La proposición formula_1x ∈ "D" , p(x) formula_2q(x) es verdadera si y solo si P ⊂ Q donde P es el conjunto solución de p(x) y Q es el conjunto solución de q(x).