Saya mau tau Definisi formal dari Identitas penambahan

Definisi identitas penambahan mengatakan: Misalkan  adalah grup yang tertutup terhadap operasi penambahan, yang dilambangkan sebagai . Identitas penambahan untuk , yang dinyatakan sebagai , merupakan unsur di  sehingga untuk setiap unsur  di ,