Let $\mathbb{R}$ form the D4707: 3-structure of basic real numbers.
Let $V$ and $W$ form a D29: Vector space over $\mathbb{R}$.
Let $f : V \to W$ be a D1494: Affine-lin map with respect to $V$ and $W$.
Let $C \subseteq V$ be a D175: Convex set in $V$.
Let $V$ and $W$ form a D29: Vector space over $\mathbb{R}$.
Let $f : V \to W$ be a D1494: Affine-lin map with respect to $V$ and $W$.
Let $C \subseteq V$ be a D175: Convex set in $V$.
Then $f(C) \subseteq W$ is a D175: Convex set in $W$.