일단 operator는 함수므로 한개의 원소에 두개 대응이 불가능한데 trace operator가 한개의 원소에 두개로 대응가능함? 바운더리를 두개로 나누고 서로 disjoint하다고할때