Description: The wellfounded part of a universe is another universe. (Contributed by Mario Carneiro, 17-Jun-2013)