Begriff aus der Mengenlehre, identisch mit der mengentheoretischen Vereinigung: Für Mengen M und N definiert man die mengentheoretische Summe M + N als die Menge, welche sowohl alle Elemente aus M als auch alle Elemente aus N enthält, d. h., \begin{eqnarray}M+N:=M\cup N:=\{x:x\in M\vee x\in N\}\end{eqnarray}

(Verknüpfungsoperationen für Mengen).