理想の定義、決定、および基本的な性質