Pb'ab} 就是一条交错路,从而 b ∈ U {\displaystyle b\in U} ,矛盾。 Called a covering and a minimum covering respectively by Bondy & Murty (1976), p. 73. Bondy & Murty
{\displaystyle G'} 的生成集合 S ′ {\displaystyle S'} 的元素的像是不同的,則導出圖覆疊(英语:Coveringgraph)映射 f ¯ : Γ ( G ′ , S ′ ) → Γ ( G , S ) , {\displaystyle {\bar {f}}:\Gamma