Jabarkan Definisi dari Tindakan grup (matematika)

Jika adalah grup dengan elemen identitas , dan  adalah himpunan, maka ( kiri )  tindakan grup   dari  pada  adalah sebuah fungsi

(dengan  sering disingkat menjadi  atau  jika tindakan yang dipertimbangkan sudah jelas dari konteksnya)

yang memenuhi dua tindakanoma berikut: