\begin{definition}[Definition:Significant Value]
Let $V \in \R$, $\map {V_i} R: \closedint 0 1 \to \R$ be an evaluation function.
Let $\map f B: \R \to \R$ be a bound function.
The value $V_i$ is said to be a '''significant value''' {{WRT}} the residue $R$ and the bound $B$ whenever $V \ge \map {V_i} R \map f B$.
{{wtd|You can't put a definition into a proof category. And without knowing what the context is (there are no links), it appears that the definition has a considerably wider scope than just the mathematical field concerning the equitable apportioning of bakery products}}
Category:Fair Cake-Cutting
\end{definition}