a binary relation is one which is defined for B subset X x X (x,y) in B <=> xBy

Examples are >, =>, +, ... many others.

1. X=all people, B= kin to.
2. X=all people, B=cousin to.
3. X=R, B= "=>"
4. X=R^2, B= "=>" ("=>" => x1=>y1 and x2=>y2)
5. X=R^2, B= Has greater magnitude