theorem :: GROUP_23:49

for I being non empty set
for F being Group-Family of I
for G being Group
for f being Homomorphism-Family of G,F holds the carrier of (Ker (product f)) = meet { the carrier of (Ker (f . i)) where i is Element of I : verum }