for I being set
for F being Group-Family of I
for i being object st i in I holds
F . i is Group