Last Updated：2025/12/07
(mathematics) A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Kruskal's tree theorem
Edit Histories（0）
Source Word
Kruskal's tree theorem
Proper noun
Japanese Meaning
数学における定理で、良順序付けられたラベルの集合上の有限な木の集合が、ホメオモルフィック埋め込みという関係の下で再び良順序付けられることを示している。
