Un magma (o gruppoide) è un insieme M in cui è definita una singola operazione binaria *, che ad ogni coppia di elementi a, b di M associa l'elemento a*b. L'unico assioma soddisfatto dall'operazione in un magma è quello di chiusura:

per ogni a, b appartenenti a M, l'elemento a*b appartiene ancora a M