Az A(x) = B(x) kifejezést egyenletnek nevezzük, ahol x az ismeretlen.

A és B tetszőleges algebrai kifejezések. (Az ismeretlent természetesen jelölhetjük más betűvel is!)

Alaphalmaz: minden olyan szám, ami az egyenletbe behelyettesíthetőnek tűnik. (jelölése: A)
Definícióhalmaz: minden elem az alaphalmazból, amelyet az egyenletbe helyettesíthetünk. (jelölése: D)
Megoldáshalmaz: minden elem a definícióhalmazból, amelyet az egyenletbe helyettesítve vagy kielégíti az egyenlet mindkét oldalát, vagy azonosságra, vagy ellentmondásra vezet. (jelölése: M)

Példa:

Azok az egyenletek, amelyeknek a megoldáshalmaza megegyezik, ekvivalensek.