Say ’ is a successor set’ if where is a shorthand for for any formula and is Successor operation. Note that are all in any successor set.