ThmDex – An index of mathematical definitions, results, and conjectures.
F11493
Formulation 0
Let $T_X = (X, \mathcal{T}_X)$ be a D1106: Topological space.
Let $T_Y = (Y, \{ \emptyset, Y \})$ be a D1162: Bottom topological space.
Let $f : X \to Y$ be a D18: Map from $X$ to $Y$.
Then $f$ is a D55: Continuous map from $T_X$ to $T_Y$.