Definition:Bound of Real-Valued Function

Definition
Let $S$ be a set.

Let $f: S \to \R$ be a real-valued function.

Let $f$ be bounded.

Then $B$ is a bound for $f$ :
 * $\forall x \in S: B \ge \size {\map f x}$