Proof and Problem Solving - Relations Example 03

Another simple proof involving relations. Given R and S which are both relations from A to B, we show that inv(R union S) is equal to inv(R) union inv(S).