定義
相對窮竭原理(principle of relatively complete exhaustion)一種思想規定.這種思想規定在德國數學家康托爾(Cantor,G. (F. P.))創建的古典集合論中已被不自覺地使用‘20世紀50年代，由徐利治予以精確敘述，並明確提出和使用.其內容如下:設 L(I,E)是一個適用於B的延伸規律，那么I (I,E> 必可適用到B的所有一切能為L(I,E)所適用的繼元上.從而即導出並窮盡了所有一切能為I (I,E> 所適用的繼元，同時界定了一個無窮總體，記為
