Definisi Grup, Contoh, dan sifat-sifat Grup