전역 선행성 (1)