for G being strict Group holds the carrier of (Phi G) = { a where a is Element of G : not a is generating }