O conjunto-verdade da equação em é:

Obs.: : Conjunto dos números racionais.