Tolong jelaskan mengenai Diagonal dari  adalah himpunan dari Grup topologi

dan untuk  berisi , rombongan kanonik atau lingkungan kanonik sekitar ' '' adalah himpunanDefinisi (Keseragaman kanonik): Untuk grup topologi , keseragaman kanonik pada  adalah struktur seragam yang diinduksi oleh himpunan semua lingkungan kanonik  sebagai rentang  di semua lingkungan  pada .

Artinya, ini adalah penutupan ke atas dari prefilter berikut pada ,