Fiber of Truth/Examples/x^2 - 2x - 3

Example of Solution Set
Consider the equation in algebra:
 * $x^2 - 2 x - 3 = 0$

where the domain of $x$ is implicitly taken to be the set of real numbers $\R$.

Then $3$ is a solution to $x^2 - 2 x - 3 = 0$.

Proof
We have that:

and the result follows by definition of solution.