Keisomorfikan grup menentukan suatu relasi ekuivalensi pada kelas semua grup.