Es seien f : ( X , τ ) → ( Y , ω ) {\displaystyle {}f\colon (X,\tau )\to (Y,\omega )} und g : ( Y , ω ) → ( Z , θ ) {\displaystyle {}g\colon (Y,\omega )\to (Z,\theta )} stetige Abbildungen topologischer Räume.
Dann ist die Komposition g ∘ f {\displaystyle {}g\circ f} stetig.
Des weiteren ist die Identitätsabbildung i d : ( X , τ ) → ( X , τ ) {\displaystyle {}\mathrm {id} \colon (X,\tau )\to (X,\tau )} stetig.