ช่วยทำทฤษฎีเซตให้หน่อยค่ะ
กำหนดให้ r,sเป็นความสัมพันธ์ โดยที่ (r\oplus s) ={(x,z)|\exists yที่ทำให้ (x,y) \in r และ (y,z)\in s}
1.กำหนดให้ r,sและt เป็นความสัมพันธ์ จงพิสูจน์ว่า r\oplus (s\oplus t)=(r\oplus s)\oplus t
2.กำหนดให้f:A\rightarrow (B\cap C)จงพิสูจน์ว่า
[f' : (B\cap C)\rightarrow A]=[f' : B\rightarrow A]\cap [f':C\rightarrow A]
|