In de wiskunde is een magma een soort algebraïsche structuur. Het is een verzameling met een binaire operatie op die verzameling.
Een binaire bewerking werkt door twee elementen uit een verzameling te nemen (die niet verschillend hoeven te zijn) en een ander element van die verzameling terug te geven.
Als we de verzameling een label geven (zoals X) en de binaire bewerking een label (zoals -). Dan geven we het magma het label (X, -).
De natuurlijke getallen met optelling vormen een magma. Omdat de verzameling natuurlijke getallen wordt geschreven als N {{mathbb {N}} 
en optellen wordt geschreven als +
wordt het magma geschreven als ( N , + ) {{{mathbb {N} ,+}}
. De naam van de magma zou zijn "De natuurlijke getallen onder toevoeging".
De gehele getallen met vermenigvuldiging vormen een magma. Omdat de verzameling gehele getallen wordt geschreven als Z {mathbb {Z} 
en vermenigvuldiging (in de abstracte wiskunde) wordt geschreven als ⋅ {\displaystyle \cdot }
wordt de magma geschreven als ( Z , ⋅ ) {\displaystyle (\mathbb {Z} , \cdot )}
. De naam van de magma zou zijn "De gehele getallen onder vermenigvuldiging".
De reële getallen onder deling vormen geen magma. Dit komt omdat getallen niet gedeeld kunnen worden door 0. Een binaire operatie vereist dat twee willekeurige elementen uit de verzameling kunnen worden genomen (in dit geval in volgorde) om een ander element uit de verzameling te produceren. De reële getallen zonder 0 wordt geschreven als R ∗ {\mathbb {R} ^{*}} 
. Er kan worden aangetoond dat de ( R ∗ , ÷ ) {\displaystyle (\mathbb {R} ^{*},\div )}
een magma is.