递归函数必须同时具备基准条件和递推条件，才能保证递归能正确终止并执行。因此选项B是递归函数定义的必要条件。