theorem :: GROUP_19:11

for I being non empty set
for F being Group-Family of I holds support ((1_ (product F)),F) is empty