Binary Relations

A binary relation R over a domain D is a set of ordered pairs (x,y) where x and y are in D.

For example, we could have,

D = {a,b,c,d} R = {(a, b), (c, a), (d, a)}

If (x, y) is in R, then we write R(x, y) or x R y.