24.15 최일반 통합자(Most General Unifier)의 수학적 정의