전해진 정의