Description: Minimal universes are closed under powersets. (Contributed by Rohan Ridenour, 13-Aug-2023)