공부하다가 집합중에서 (A X B) U (C X D)=(A U C) X (B U D)를 Show that 하라는데
A X B={(a,b): a in A, b in B} 이고 C X D={(c,d): c in C, d in D}란 말이지.
그럼 (A U C) X (B U D)={(x,y): x in a or c, y in b or d}
(A X B) U (C X D)={(x,y): (x,y) in A X B or C X D}라고 할수 있잖아.
근데 (A U C) X (B U D) 에는 (c,b): c in C, b in B 가 존재할 수 있지만 (A X B) U (C X D)에는 (c,b): c in C, b in B가 존재할 수 없으므로
(A X B) U (C X D)가 (A U C) X (B U D) 의 서브셋이 된다... 가 증명인데 Show that은 사실을 증명하시오 같은 느낌으로 알고 있었는데 아닌가봐
