G toplamsal öbeğinin a,b gibi iki öğesi için, a=b+x eşitliğini gerçekleyecek biçimde tanımlanan (?) öğesi. Simgesi : a-b
