Ikkinchi bob binar munosabatlar va

guruxning birlik elementi (qo`shish amali belgisi ishlatilganda-guruxning nol’ elementi) deyiladi. Isbotlangan teoremaga ko`ra gurux ta`rifi 2-shartidagi b element a ga teskari ekan. 8-§ 3-teoremaga asosan a ga teskari element yagona; uni (qo`shish amali belgisi ishlatilganda) (-a) orqali belgilanadi.

Teskari elementning yagonaligiga asosan (qo`shish belgisi ishlatilganda Ixtiyoriy elementlar uchun Xaqiqatan, kommutativ guruxqa binar amal qo`shish amali bo`lsin. Bu xolda ixtiyoriy elementlar uchun a(-b) elementni a va b elementlarning