Misalkan \(I\) adalah ideal dari gelanggang \(R\text{.}\) Maka \(S \mapsto S/I\) merupakan korespondensi satu-ke-satu antara himpunan subgelanggang \(S\) yang memuat \(I\) dan himpunan subgelanggang dari \(R/I\text{.}\) Lebih lanjut, ideal-ideal dari \(R\) yang memuat \(I\) bersesuaian dengan ideal-ideal dari \(R/I\text{.}\)