Category:Path Components are Open iff Union of Open Path-Connected Sets