Nonsense. An equation should not say 'return'.
Incorrect. Equation successors([ ]) = successors([ ]), if that is what is meant, is an infinite recursion.