Continuous image of a connected set is connected: Let f:X→Yf:X\to Y be a between topological spaces. If C⊆XC\subseteq X is , then f(C)⊆Yf(C)\subseteq Y is connected.

Related notions

This is the main functorial property behind connectedness, and it combines naturally with facts about connected sets in R\mathbb{R} (see ) to identify images of connected domains as intervals.