Category:Equivalence of Definitions of Path Component