שינויים

'''יש להוכיח ש-G יחס על <math>A\times B</math>:

<math>(a_1,a_2)\in E,\ (b_1,b_2)\in F\R\Rightarrow a_1\in A \and b_1\in B \and a_2\in A \and b_2\in B</math>, היות וידוע כי E פועלת על A ו-F פועלת על B.