Sets defined recursively as:

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