9.9 지정(Designation)과 해석(Interpretation)의 형식적 정의