theorem ThStrSubFamResIsStr: :: GROUP_23:79

for G being Group
for I being set
for J being Subset of I
for F being componentwise_strict Subgroup-Family of I,G holds F | J is componentwise_strict Subgroup-Family of J,G