Successor Function

If we apply the successor function to a natural number, we get the next natural number.

However, this is one specific use of the Successor function. It exists as something more general.

In work needed for Foundations of Mathematics, the successor of the set T is a set that is the union of T with a set containing T.

S(T) = T \cup {T} = {{T,{T}}}