Connected subset (source code)

= Connected subset

A subset of a topological space is connected when it is connected in the subspace topology.