Definition:Successor Mapping/Successor Set

Definition
Let $S$ be a set.

The successor (set) of $S$ is defined and denoted:
 * $S^+ := S \cup \left\{{S}\right\}$

Alternative notation
Some sources use $S'$ rather than $S^+$.