Kruskal 樹定理

一個在計算機科學中起著基礎作用的定理，因為它是證明 樹 上的某些排序是良基的主要工具之一。 這些排序在證明重寫規則的終止性和 Knuth-Bendix 完成演算法 的正確性方面起著至關重要的作用。