Description: The union of two sets is a set. Corollary 5.8 of TakeutiZaring p. 16. (Contributed by NM, 18-Sep-2006) Prove unexg first and then unex and unexb from it. (Revised by BJ, 21-Jul-2025)