 reserve I for non empty set;
 reserve i for Element of I;
 reserve F for Group-Family of I;
 reserve G for Group;

theorem
  {} --> G is Group-Family of {};
