真理想

proper ideal