[I'fern]

กำหนดให้ 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