準理想の定義、性質、および分解