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 terbuka yang dapat diganti oleh sembarang anggota yang sudah ditentukan
Konstanta adalah nilai tetap (tertentu) yang menjadi anggota himpunan yang ditentukan
Penyelesaian adalah pengganti variabel yang mengakibatkan persamaan/pertidaksamaan bernilai benar
Himpunan penyelesaian adalah himpunan semua pengganti dari variabel-variabel pada kalimat terbuka sehingga kalimat tersebut bernilai benar
Pertidaksamaan linier satu variabel adalah suatu kalimat terbuka dengan satu variabel perpangkat satu yang dihubungkan dengan tanda ketidaksamaan ( <, >, ≤, atau ≥ )
Pertidaksamaan yang ekuiivalen adalah pertidaksamaan-pertidaksamaan yang mempunyai himpunan penyelesaian sama jika pada pertidaksamaan tersebut dilakukan operasi tertentu, dinotasikan dengan “⇔”
Suatu pertidaksamaan dapat dinyatakan ke dalam pertidaksamaan yang ekuiivalen dengan cara sebagai berikut:
Menambah atau mengurangi kedua ruas dengan bilangan yang sama tanpa mengubah tanda ketidaksamaan.
Mengalikan atau membagi kedua ruas dengan bilangan positif yang sama tanpa mengubah tanda ketidaksamaan.
Mengalikan atau membagi kedua ruas dengan bilangan negatif yang sama dengan mengubah tanda ketidaksamaan, yaitu: