Сума (від латів.(латинський) summa — підсумок, загальна кількість), результат складання величин (чисел, функцій, векторів, матриць і т. д.). Загальними для всіх випадків є властивості перестановочності, сполучності, а також распределітельності по відношенню до множення (якщо для даних величин множення визначене), тобто виконання співвідношень:
а + b = b + а, а + ( b + з ) = ( а + b ) + з, (а + b ) з = ас + bc, з (а + b ) = ca + cb.
В теорії безлічі С. (або об'єднанням) безлічі називається безліч, елементами якої є всі елементи складової безлічі, узяті без повторень.