科學、圖論和一些其他數學領域中的一種證明方法 (比如， Los's 定理...是由證明命題對於所有的極小結構成立，以及如果他在一個結構 S的基礎結構中成立，那么它一定也在整個 S中成立這些組成。比如，如果一個結構是個這樣一個...
