플랫 모듈의 정의, 판단 및 핵심 속성