:: deftheorem Def2 defines support GROUP_19:def 2 :
for I being set
for G being Group
for a being Function of I,G
for b₄ being Subset of I holds
( b₄ = support a iff for i being object holds
( i in b₄ iff ( a . i <> 1_ G & i in I ) ) );