De ahí que Maude se base principalmente en el álgebra y en la especificación de ecuaciones.