Cebirde toplama fonksiyon, tanım kümesindeki her x ve y çifti için toplama işlemini koruyan fonksiyondur:[1]