\begin{definition}[Definition:Fiber of Truth/Solution]
Let $P: X \to \set {\T, \F}$ be a propositional function defined on a domain $X$.
Let $S = \map {P^{-1} } \T$ be the '''fiber of truth (under $P$)'''.
Then an element of $S$ is known as a '''solution''' of $P$.
This terminology is usual when $P$ is an equation in the context of algebra.
\end{definition}