theorem ThSubYieldRefl: :: GROUP_23:16

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