클로버가 임의의 연산이라고 할 때

저는 은연 중에 a와 b 정의역의 교집합이 c의 정의역이라고 생각했는데 아닌 경우도 있나요?