Description: A Grothendieck universe contains all powers of its elements. (Contributed by Mario Carneiro, 9-Jun-2013)