Sets defined recursively as:

This is a Hierarchy.
Moreover is the set theoretic universe.