Definition:Successor Mapping

Definition
Let $V$ be a basic universe.

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

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