[김학봉]

책 125~126 페이지에 두개의 치환을 나란히 쓰는 것에 대한 설명이 나와있는데 의미를 잘 이해 못해서요.

식을 보면 supp(T),supp(S)에 속하나 안 속하나에 따라 처리가 다른데 그것의 의미와 왜 그렇게 해주는지 궁금합니다.

[최종식]

오늘 교수님께 여쭤 봤는데 정의 뒷부분에 있는

Supp(T) \ Supp(S) 가 아니고
Supp(S) \ Supp(T) 로 되야 한다고 하셨어요

그러면 그냥 자연스럽게 이해가 되는 표현이 된듯 합니다 [...]

[김학봉]

감사합니다.