$ R_1\in A\ast B,\ \ \ \ R_2\in A\ast B. R_1\cup R_2 $ – функция. Доказать $ R_1\ \ и R2 $ – функции
Пусть не так. Это значит, что хотя бы одна из отношений – не функция. Не умаляя общности, скажем, что это $ R_1 $ . Тогда $ R_1\ni\left(a,b\right),\left(a,c\right)\left(b\neq c\right),\ $ т. е. в $ R_1 $ один элемент переходит в два разных. Но тогда и $ R_1\cup R_2 \in\ \ \left(a,b\right),\left(a,c\right) $ что противоречит, тому, что $ R_1\cup R_2\ $ – функция. Следовательно $ R_1\ \ и R2 $ – функции.


Заявка на расчет