Definition:Successor Mapping

Definition
Let $V$ be a basic universe.

The successor mapping on $V$ is the mapping on $V$ defined and denoted:
 * $\forall x \in V: x^+ := x \cup \set x$

where $x$ is a set in $V$.