von Neumann universe

in set theory, the collection of sets obtained by transfinite recursion using the powerset operation