Submagma (mathematica)
In mathematica,  es un submagma de   
  es un magma   es un magma
  con  tal que

In iste caso,  es un supermagma de : .

Submagma proprie 
 es un submagma proprie de     .

Submagma trivial 
Sia  un magma.  es un submagma trivial de   ( es le magma vacue)  .

Structuras algebric