a) Symmetrie folgt aus Kommutativität von \(\cap\).
Keine Antisymmetrie, weil z.B.: \((\{1,2\},\{2,3\}),(\{2,3\},\{1,2\})\in \ \bowtie\) aber \(\{1,2\}\neq \{2,3\}\).
Keine Transitivität, weil z.B. \((\{1,2\},\{2,3\}),(\{2,3\},\{3,4\})\in \ \bowtie\), aber \((\{1,2\},\{3,4\})\notin \ \bowtie\).
b) Es ist \(E\times E = \{(1,1), (1,2), (2,1), (2,2)\}\), von dieser betrachtest du nun jede Teilmenge einzeln als Relation und übst die dir gegebenen Definitionen.