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.