 For "x" in "X", the set formula_19 of all points "y" such that formula_20 is called the connected component of "x".The Lemma implies that formula_19 is the unique maximal connected subset of "X" containing "x".Since 
the closure of formula_19 is also a connected subset containing "x", it follows that formula_19 is closed.