Definition:Proper Ideal