合取化歸(conjunctive reducibility)亦稱。化歸.m化歸的一種推廣.形式地。
合取化歸(conjunctive reducibility)亦稱。化歸.m化歸的一種推廣.形式地，對自然數集A,B,如果存在遞歸函式f，使得對所有二，xEA，若且唯若Df<}} CB.則稱A可。化歸到B，記為A鎮}B幾是典則下標為y的有窮集).直觀地，A鎮,B是指對任何二，可能行找到有窮個自然數y},yz,...}y,，使得xEA，若且唯若這些元都在B中.換句話說，就是B滿足合取式“y}任B}yzEB八…} yn任B".由於對任何自然數集A,B,A鎮迢一萬鎮己萬，因此由。化歸導出的度的結構與d化歸導出的度的結構是同構的.。化歸比m化歸弱，但比tt化歸強.
