G = {{}} by Def2;
hence union G is empty ; :: thesis: verum