運算元化歸(reduction of operators)遞歸論術語.反映運算元間定義函式能力強弱的一種關係.設a,月都是運算元，若a定義函式的能力不超出月定義函式的能力。
基本介紹
- 中文名：運算元化歸
- 外文名：reduction of operators
運算元化歸，遞歸論術語.反映運算元間定義函式能力強弱的一種關係.設a,月都是運算元，若a定義函式的能力不超出月定義函式的能力，即任何由a從函式集C出發可以定義的函式，亦可以由R從C出發並藉助於若干個常函式及複合運算而定義出來，則稱a可以化歸到R.而刻畫由月定義所有由a定義函式的過程稱為a到月的化歸.若r,0為運算元集，且T中任何運算元可以化歸到乙中某個或某幾個運算元，則稱T可化歸到D.例如，由於
運算元化歸
