likewise the collection of groups is closed under homomorphic image and under direct product in the end he leaves the family kandi akaba yarumvaga ko nta muntu woga cyangwa ufite isuku agomba kugisha inama