Definition:Ideal (Ring Theory)/Proper Ideal