递归定义