Proper ideal