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