Pernyataan adalah kalimat yang hanya bernilai benar atau bernilai salah
Kalimat terbuka adalah kalimat yang belum diketahui nilai kebenarannya
Variabel adalah lambang (simbol) pada kalimat pada kalimat terbuka yang dapat diganti oleh sembarang anggota yang sudah ditentukan
Konstanta adalah nilai tetap (tertentu) yang menjadi anggota himpunan yang ditentukan
Persamaan adalah kalimat terbuka yang dihubungkan dengan tanda sama dengan (“=”)
Persamaan linier satu variabel adalah kalimat terbuka yang dihubungkan tanda sama dengan dan hanya mempunyai satu variabel berpangkat satu
Penyelesaian adalah pengganti variabel yang mengakibatkan persamaan bernilai benar
Himpunan penyelesaian adalah himpunan semua pengganti dari variabel-variabel pada kalimat etrbuka sehingga kalimat tersebut bernilai benar
Persamaan yang ekwivalen adalah persamaan-persamaan yang mempunyai himpunan penyelesaian sama jika pada persamaan tersebut dilakukan operasi tertentu, dinotasikan dengan “⇔”