– gruppanıń qálegen $a$ elementi ushın $ae=ea=a$ teńligin qanaatlandıratuǵın usı gruppanıń $e$ elementi. Hár qanday gruppa ushın gruppanıń birligi bir mánisli anıqlanǵan boladı.