<human>:  Why is it that if a rule is a function, then it is a rule?
<bot>: A rule is a function if and only if it is a recursive function. A recursive function is a function that can be defined by a rule. For example, the function f(x) = x + 1 is a recursive function because it can be defined by the rule f(x) = f(x-1) + 1.