How can I proof that if is a universal relation that . It is pretty obvious that it is true, but how do I prove it?

Printable View

- Apr 2nd 2011, 11:35 AMgordo151091Total relation
How can I proof that if is a universal relation that . It is pretty obvious that it is true, but how do I prove it?

- Apr 2nd 2011, 11:40 AMemakarov
Could you explain what Rtotalrelation is? Also, is universal relation the one that contains all possible pairs? Finally, by do you mean the composition ?

- Apr 2nd 2011, 12:17 PMgordo151091
- Apr 3rd 2011, 02:49 AMPlato
This is just a matter of using the notation.

If is any pair then because is total.

Because is universal so - Apr 3rd 2011, 10:34 AMemakarov
- Apr 3rd 2011, 11:05 AMPlato
Thanks, that is correct. It was either to early or the cut and paste.