Definition:Ideal of Ring/Proper Ideal