Комутативність

бінарна операція + на множині S є комутативною, якщо x+y = y+x, для всіх x і y ∈ S