Q: How do we formally construct the successor universe $\mathscr{U}^+$ of a universe $\mathscr{U}$ in $\mathsf{ZFC}$? A set $\mathscr{U}$ is a universe if the following conditions are met:


*

*For any $x \in \mathscr{U}$ we have $x \subseteq \mathscr{U}$


*For any $x,y \in \mathscr{U}$ we have $\{x,y\} \in \mathscr{U}$,


*For any $x \in \mathscr{U}$ we have $\mathcal{P}(x) \in \mathscr{U}$,


*For any family $(x_i)_{i \in I}$ of elements $x_i \in \mathscr{U}$ indexed by an element $I \in \mathscr{U}$ we have $\bigcup_{i \in I} x_i \in \mathscr{U}$.

Grothendieck introduced an addition axiom $\mathscr{U}$A which says that every set $x$ is contained in some universe $\mathscr{U}$.
I've seen some authors use the concept of the successor universe $\mathscr{U}^+$ of a given universe $\mathscr{U}$. It is the smallest universe which contains $\mathscr{U}$. However, I'm not sure how to prove that such a thing exists in $\mathsf{ZFC}$ (provided that $\mathscr{U}$ exists in the first place). If we knew that for any two universes $\mathscr{U}$ and $\mathscr{V}$ we have either $\mathscr{U} \in \mathscr{V}$ or $\mathscr{V} \in \mathscr{U}$, it would be easy. But I'm not sure if we can prove that latter without showing first that universes are equivalent to $V_\kappa$ for inaccessible cardinals $\kappa$.
Edit. The question, as evident from the accepted answer is turned out to be quite trivial. I apologize for that.

A: ZFC doesn't even prove that universes exist in the first place. However:


*

*ZFC proves that universes are exactly sets of the form $V_\kappa$ for $\kappa$ inaccessible. In particular, "any two universes are $\in$-comparable" is provable in ZFC alone; what's not provable is that there are many universes, or indeed any.

*The successor universe of $\mathcal{U}$ is therefore a well-defined concept, and every universe has a successor universe assuming enough universes exist in the first place: ZFC proves that there is exactly one universe of height $\kappa$ for each inaccessible cardinal $\kappa$, so to get the successor universe we just "go up to the next inaccessible." ZFC can't prove that there always is a next inaccessible, but it does prove that "every set is contained in a universe" is equivalent to "there is a proper class of inaccessibles," and that each of these implies "every universe has a successor universe."

A: The intersection of a nonempty set of universes is a universe. Now, let $U$ be a universe, and suppose that there exists a universe $V$ with $U\in V$. Then, the set of all universes $W$ with $U\in W\subseteq V$ exists and is nonempty. Its intersection is a universe, and this is readily checked to be the smallest universe containing $U$.

A: The question confounds definition of an object and its existence. These are two different notions.

Definition: The universe $\mathcal{V}$ is the successor of the universe $\mathcal{U}$ iff $\mathcal{U} \in \mathcal{V}$, and for all universes $\mathcal{W}$, if $\mathcal{U} \in \mathcal{W}$ then $\mathcal{V} \subseteq \mathcal{W}$.

There is no mystery in the definition. I take it that the question is really asking about existence of successor universes, in which case the title of the question should be modified.
As is well-known, in ZFC a set $\mathcal{U}$ is a universe if, and only if, $\mathcal{U} = V_{\kappa}$ for some (unique) inaccessible cardinal $\kappa$. Here $V_\kappa$ is the $\kappa$-th level of the cummulative hierachy.
Because in ZFC the the cardinals are well-ordered, it follows that a universe $V_\kappa$ has a successor if, and only if, there exists an inaccessible larger than $\kappa$, in which case the successor universe is $V_\lambda$, for $\lambda$ the least inaccessible above $\kappa$.
Nowhere in the answer did we have to assume that inaccessibles or universes exist. We observed that existence of universes is equivalent to existence of inaccessible cardinals. ZFC does not prove that inacessible cardinals exist.
The void is psychologically scary but is mathematically quite tame.
