0
I have a binary relation R in set RxR, while (m,n)R(k,l)<->(m+n)>=(k+l).
And i have to determinate, whether the relation is reflective, antisymmetric, transitive.
Can you please tell me how to prove or unprove the properties?
Thank You for your time!!