[1] En términos lógicos, el conjunto solución es aquel cuyos elementos hacen que una proposición abierta sea verdadera.
El conjunto solución o conjunto de soluciones de una ecuación es la imagen inversa de b a través de f. El conjunto solución está constituido por todos los a ∈ A determinados que satisfacen la ecuación, es decir, aquellos para los cuales se cumple f(a) = b.
En la primera, x es un valor desconocido, del cual se sabe que está en A.
denota al conjunto de soluciones de la ecuación f(x) = b, la inecuación f(x) ≠ b tiene como solución el conjunto
Este contiene todos los elementos de A que no están en
Para otros tipos de desigualdades, como las relaciones < o >, se requiere que A y B sean conjuntos parcialmente ordenados con una relación de orden equivalente.
está constituida por los elementos de A que cumplen esa relación.