La estructura de magma garantiza la existencia y unicidad del resultado de la operación, puesto que, cualesquiera sean formula_56, existe un único formula_57, que es el resultado de operar "a" con "b".