이상적의 정의, 결정, 그리고 기본 성질