Difference between revisions of "Successor set"