μ再歸函數