Definition:Successor Mapping/Successor Set

Definition
Let $V$ be a basic universe.

For $x \in V$, let $x^+$ denote the result of applying the successor mapping on $x$.

$x^+$ is referred to as the '''successor (set) of $x$.