門格爾 n-弧定理

設 為一個 圖，其中 和 是兩個不相交的 元組 圖頂點。則要麼 包含 條兩兩不相交的 路徑，每條路徑連線 中的一個點和 中的一個點，要麼存在一個少於 個 圖頂點 的集合，該集合分隔 和 。

Harary (1994, 第 47 頁) 將該定理表述為“分隔兩個不相鄰點 和 的最小點數等於不相交 路徑的最大數目。” Skiena (1990, 第 178 頁) 將該定理表述為“一個圖是 k-連通圖 當且僅當 每對頂點至少由 條頂點不相交的路徑連線”（Menger 1927, Whitney 1932）。