อ้างอิง:
ข้อความเดิมเขียนโดยคุณ deekub_bb@hotmail.com
กำหนดให้ 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]
|
กำหนดให้ 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]$