Definicja algebraiczna

W logice matematycznej definicja algebraiczna to taka, którą można podać tylko za pomocą równań między wyrazami ze zmiennymi wolnymi . Nierówności i kwantyfikatory są wyraźnie zabronione.

Powiedzenie, że definicja jest algebraiczna, jest silniejszym warunkiem niż stwierdzenie, że jest elementarna .