유한 분리확장의 핵심 속성