Incorrect successors([ ]) = [ ]. Notation [n] yields a list of one thing.
Incorrect. How can successors(L) not depend on L?