Mapping is a hierarchy if

  1. is a Transitive set
  2. For a limit

We write for the class that is the union of for

Von Neumann Hierarchy