递归定义的两个基本要素