Union_with_Empty_Set