En lógica matemática , una definición algebraica es aquella que se puede dar usando solo ecuaciones entre términos con variables libres . Las desigualdades y los cuantificadores están específicamente prohibidos.
Decir que una definición es algebraica es una condición más fuerte que decir que es elemental .