舉例
在邏輯和推導機制中，I和J分別是一個解釋(Interpretation),如果J是I的保守擴展，必須滿足以下條件:1)解釋I作用在語言集合L中，解釋J必須作用在語言集合L'中,並且L'包含L
2)解釋I的域(Domain)等於解釋J的域
3)對於任何在語言集合L中的元素e，I(e)=J(e)
那么我們說J是I的保守擴展。
邏輯運用
補充說明在邏輯語言語法(Syntax)中一個語言集合的組成元素:1)常數符號a,b,c,d,........
2)函式符號f,g,......並且每個函式符號標有所帶參數的個數注意當函式f不帶有參數時這時就變成了一個常數符號
3）命題邏輯符號P,Q,(或p,q)........
4)謂詞關係邏輯符號P,Q（或p,q）,........並且每個謂詞標有所帶參數的個數注意當謂詞關係邏輯符號P不帶有參數時，就變成命題邏輯符號P這裡的參數在邏輯語言中叫做項(Term)(項是一個最小有限集合)
一個項可以是:
1)一個變數符號(通常我們用小寫字母x,y,z等表達)比如x,y,z,x1,x2,x3,..........
2)一個常數符號(通常我們用小寫字母a,b,c,d等表達)比如a,b,c,d,a1,b1,c3,...........
3)一個函式符號並且該函式標有所帶參數(通常我們用小寫字母f,g,q等表達）f(t1,t2,t3,......tn),其中所帶的參數t1,t2,.......,tn也是由項組成他是最小的有限的集合,換句話說一個項是一個有限樹，他的葉子個數是有限的比如f(x,b,f(y,c,g(z)))他是一個項其中x,y,z是變數，b,c是常數，f,g是函式符號
