Untuk sembarang \(a\in A\text{,}\) keterhubungan lintasan \(A\) memberi lintasan dari \(x\) ke \(a\text{;}\) maka \(a\in PC(x)\text{.}\)