Definition:Proper Ideal of Ring