Sebuah kohimpunan dengan akar uniti