:: deftheorem Def19 defines componentwise_strict GROUP_23:def 20 :
for I being set
for G being Group
for IT being Subgroup-Family of I,G holds
( IT is componentwise_strict iff for i being object st i in I holds
IT . i is strict Subgroup of G );