Ладно, вы уже в любом случае многое подсказали, тут кроется глобальная проблема в моей голове, которую я могу решить лишь сам, огромное спасибо
Просто будьте аккуратнее.
Вот сами посмотрите, что Вы пишете. Берёте
![$x \in X$ $x \in X$](https://dxdy-03.korotkov.co.uk/f/e/f/2/ef2a9dc0d2e528efe607b65aaed5584582.png)
. И потом "доказываете", что
![$x \not\in X \times Y$ $x \not\in X \times Y$](https://dxdy-01.korotkov.co.uk/f/4/0/2/402450e9e669d3552a84dd5680795ba982.png)
. Это и так без всякого "доказательства" очевидно: произведению
![$X \times Y$ $X \times Y$](https://dxdy-02.korotkov.co.uk/f/9/7/3/973dfebc244ccaeeae26a8e1d1a6b1fc82.png)
принадлежат только пары, отдельные элементы
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
ему принадлежать не могут (хотя, если строго рассуждать, всё же могут, но тут надо забираться в такие дебри теории множеств...). Но смысл всего этого абсолютно непонятен! И "доказательсво" этого ненужного факта совершенно некорректно!
-- Вс июл 22, 2012 21:25:56 --На самом же деле всё очень-очень просто. Пара
![$(x,x)$ $(x,x)$](https://dxdy-01.korotkov.co.uk/f/0/a/6/0a641ffaf0f21d73915a55ac83aca32582.png)
по условию принадлежит
![$R_2 \circ R_1$ $R_2 \circ R_1$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a02a5ca0e48540f6a050cd8277646382.png)
. А что такое
![$R_2 \circ R_1$ $R_2 \circ R_1$](https://dxdy-02.korotkov.co.uk/f/5/4/a/54a02a5ca0e48540f6a050cd8277646382.png)
по определению?