Aljabar elementer

Dalam aljabar yang lebih lanjut, suatu pernyataan juga mungkin memiliki fungsi elementer.
Sebuah "persamaan" adalah klaim bahwa dua pernyataan adalah sama. Sebagian persamaan berlaku untuk semua nilai variabel (seperti "a" + "b" = "b" + "a"). Persamaan seperti ini dinamakan "identitas". Persamaan "bersyarat" berlaku hanya untuk sebagian nilai variabel yang mungkin: "x" − 1 = 4. Nilai-nilai variabel yang membuat persamaan tersebut berlaku disebut pemecahan atau "solusi" persamaan.