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

- April 2nd 2011, 12:35 PMgordo151091Total 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?

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

- April 2nd 2011, 01:17 PMgordo151091
- April 3rd 2011, 03:49 AMPlato
This is just a matter of using the notation.

If is any pair then because is total.

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