대수적 확장의 정의, 판단 및 성질