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

theorem ThSubYieldRefl:
  for I being set
  for F being Group-Family of I
  holds F is F-Subgroup-yielding by GROUP_2:54;
