proper idealSuppose R is a ring and I is an ideal of R. We say that I is a proper ideal if I is not equal to R.