Proper ideal: I, birimli ve değişmeli R halkasında ideal olmak üzere I R ye eşit değilse proper idealdir.