분리 가능한 확장의 정의, 결정 및 특성