Mapping is a hierarchy if is a Transitive set For a limit We write for the class that is the union of for Von Neumann Hierarchy