“∗” este o lege de compoziție pe G dacă 𝑥 ∗ 𝑦є𝐺 pentru orice x și y din G ( mulțimea G este parte stabilă în raport cu “∗”). 1) “∗” este COMUTATIVĂ dacă 𝑥 ∗ 𝑦 = 𝑦 ∗ 𝑥 pentru orice x și y din G. 2) “∗” este ASOCIATIVĂ dacă (𝑥 ∗ 𝑦) ∗ 𝑧 = 𝑥 ∗ (𝑦 ∗ 𝑧) pentru orice x,y și z din G. 3) “∗” admite ELEMENT NEUTRU dacă există 𝑒є𝐺 , astfel încăt 𝑥 ∗ 𝑒 = 𝑒 ∗ 𝑥 = 𝑥 pentru orice 𝑥є𝐺 . 4) “∗” este SIMETRIZABILĂ dacă pentru orice 𝑥є𝐺 , există 𝑥′є𝐺 , astfel încăt : 𝑥 ∗ 𝑥′ = 𝑥′ ∗ 𝑥 = 𝑒 OBS: Elementul x’ se numește simetricul lui x în raport cu legea de compoziție “∗”.