정수 확장의 정의와 기본 성질