Successor Mapping on Natural Numbers is Progressing/Proof 1

Proof
By definition of the von Neumann construction:


 * $n^+ = n \cup \set n$

from which it follows that:
 * $n \subseteq n^+$