Berikut ini adalah definisi dari subhimpunan dari gelanggang yang membentuk suatu objek penting dalam matematika
Misalkan R adalah suatu gelanggang, kemudian I adalah subhimpunan tak hampa dari R.
Maka I dikatakan Ideal dari R jika
1. I terhadap operasi tambah di R membentuk grup komutatif
2. Untuk semua r di R dan i di I maka ri dan ir ada di I