정상 확장의 정의와 동등 조건